Your search returned 8 results.

Not what you expected? Check for suggestions
1.
Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings / Radhia Cousot (ed.).

by VMCAI 2005 (2005 : Paris, France) | Cousot, Radhia.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: VMCAI 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers / Alexandre Petrenko, Andreas Ulrich (eds.).

by FATES 2003 (2003 : Montréal, Québec) | Petrenko, Alexandre | Ulrich, Andreas (Engineer) | IEEE International Automated Software Engineering Conference (18th : 2003 : Montréal, Québec).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings / Bernhard Steffen, Giorgio Levi (eds).

by VMCAI 2004 (2004 : Venice, Italy) | Steffen, Bernhard | Levi, G. (Giorgio), 1942- | ACM Symposium on Principles of Programming Languages (31st : 2004 : Venice, Italy).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Other title: VMCAI 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings / Susanne Graf, Laurent Mounier, eds.

by International SPIN Workshop (11th : 2004 : Barcelona, Spain) | Graf, Susanne | Mounier, Laurent.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Formal approaches to software testing : 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers / Jens Grabowski, Brian Nielsen (eds.).

by FATES 2004 (2004 : Linz, Austria) | Grabowski, Jens | Nielsen, Brian, Ph. D.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings / Kousha Etessami, Sriram K. Rajamani (eds.).

by CAV (Conference) (17th : 2005 : Edinburgh, Scotland) | Etessami, Kousha | Rajamani, Sriram K, 1970-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Other title: CAV 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings / Patrice Godefroid (ed.).

by International SPIN Workshop (12th : 2005 : San Francisco, Calif.) | Godefroid, Patrice.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Other title: 12th International SPIN Workshop | Twelfth International SPIN Workshop | International SPIN Workshop.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings / Doron A. Peled, Yih-Kuen Tsay (eds.).

by ATVA (Symposium) (3rd : 2005 : Taipei, Taiwan) | Peled, Doron A, 1962- | Tsay, Yih-Kuen, 1962-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Other title: ATVA 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha