Search Results for e-books

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 Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 : Proceedings

Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 : Proceedings

FORMATS 2007 (2007 : Salzburg, Austria)

Author

FORMATS 2007 (2007 : Salzburg, Austria), Raskin, Jean-Francois, Thiagarajan, P. S., SpringerLink (Online service)

Format:

Call Number

EB 000689

Publisher

Springer-Verlag Berlin Heidelberg,

Publication Date

2007

ISBN

9783540754541

Full Text

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

Available:
Holds:
Copies:

Cover image for Formal techniques for networked and distributed systems-- FORTE 2007 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings

Formal techniques for networked and distributed systems-- FORTE 2007 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings

FORTE 2007 (2007 : Tallinn, Estonia)

Author

FORTE 2007 (2007 : Tallinn, Estonia), Derrick, John, 1963-, Vain, Juri, IFIP Working Group 6.1, SpringerLink (Online service)

Format:

Call Number

EB 000692

Publisher

Springer-Verlag Berlin Heidelberg,

Publication Date

2007

ISBN

9783540731962

Full Text

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

Available:
Holds:
Copies:

	{displayName}	{count}
{error}