Search Results for Notches

5 Results Found

00000MAIN

Cover image for Formal methods and software engineering: 9th international conference on formal engineering methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15

Formal methods and software engineering: 9th international conference on formal engineering methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15

International Conference on Formal Engineering Methods (9th : 2007 : Boca Raton, Fla.)

Author

International Conference on Formal Engineering Methods (9th : 2007 : Boca Raton, Fla.), Butler, Michael G., Hinchey, Michael G, Larrondo-Petrie, Maria M

Format:

Call Number

QA76.9.F67 I578 2007

Publisher

Springer-Verlag,

Publication Date

2007

ISBN

9783540766483 9783540766506

Fulltext

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

Available:
Holds:
Copies:

Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings

International Conference on Integrated Formal Methods (6th : 2007 : Oxford, England)

Author

International Conference on Integrated Formal Methods (6th : 2007 : Oxford, England), Davies, Jim, 1964-, Gibbons, Jeremy, 1966-

Format:

Call Number

QA76.9.F67 I574 2007

Publisher

Springer-Verlag,

Publication Date

2007

ISBN

9783540732099

Fulltext

Available:
Holds:
Copies:

Cover image for Formal methods and stochastic models for performance evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings

Formal methods and stochastic models for performance evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings

EPEW 2007 (2007 : Berlin, Germany)

Author

EPEW 2007 (2007 : Berlin, Germany), Wolter, Katinka

Format:

Call Number

QA76.9.F67 E63 2007

Publisher

Springer-Verlag,

Publication Date

2007

ISBN

9783540752103 9783540752110

View Fulltext

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

Available:
Holds:
Copies:

Cover image for Formal aspects in security and trust : Fourth international workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 : revised selected papers

Formal aspects in security and trust : Fourth international workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 : revised selected papers

FAST 2006 (2006 : Hamilton, Ont.)

Author

FAST 2006 (2006 : Hamilton, Ont.), Dimitrakos, Theo

Format:

Call Number

QA76.9.A25 F374 2007

Publisher

Springer-Verlag,

Publication Date

2007

ISBN

9783540752264

Fulltext

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

Available:
Holds:
Copies:

Cover image for Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures

Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th : 2006 : Bertinoro, Italy)

Author

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th : 2006 : Bertinoro, Italy), Cimatti, Alessandro, Bernardo, Marco

Format:

Call Number

QA76.9.F67 I57 2006

Publisher

Springer,

Publication Date

2006

ISBN

9783540343042

Available:
Holds:
Copies:

	{displayName}	{count}
{error}