Search Results for Woodcock, Jim.

3 Results Found

000MAIN

Cover image for Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjorner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjorner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Jones, Cliff B.

Author

Jones, Cliff B., Liu, Zhiming, Woodcock, Jim, SpringerLink (Online service)

Format:

Call Number

EB 000687

Publisher

Springer-Verlag Berlin Heidelberg,

Publication Date

2007

ISBN

9783540752219

Full Text

Remote access restricted to users with a valid UTM ID via VPN

Available:
Holds:
Copies:

Cover image for Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

ICTAC Training School on Domain Modelling and Duration Calculus (2007 : Shanghai, China)

Author

ICTAC Training School on Domain Modelling and Duration Calculus (2007 : Shanghai, China), George, Chris W., Liu, Zhiming., Woodcock, Jim., SpringerLink (Online service)

Format:

Call Number

EB 001366

Publisher

Springer-Verlag Berlin Heidelberg,

Publication Date

2007

ISBN

9783540749646

http://dx.doi.org/10.1007/978-3-540-74964-6

Remote access restricted to users with a valid UTM ID via VPN

Available:
Holds:
Copies:

Measure twice, cut once

Tolpin, Jim

Author

Tolpin, Jim

Format:

Call Number

TT185 T66 1996

Edition

rev ed

Publisher

Betterway Books,

Publication Date

1996

ISBN

9781558704282

Available:
Holds:
Copies:

	{displayName}	{count}
{error}