Your search returned 12 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.
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 .
3.
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 .
4.
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 .
5.
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 .
6.
Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings / [edited by] E. Allen Emerson, Kedar S. Namjoshi.

by VMCAI 2006 (2006 : Charleston, S.C.) | Emerson, E. Allen | Namjoshi, Kedar S.

Edition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 2006Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
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 .
8.
Trustworthy global computing : international symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : revised selected papers / Rocco De Nicola, Davide Sangiorgi (eds.).

by TGC 2005 (2005 : Edinburgh, Scotland) | De Nicola, Rocco | Sangiorgi, Davide.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: TGC 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Hardware and software, verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers / Shmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.).

by International Haifa Verification Conference (1st : 2005 : Haifa, Israel) | Ur, Shmuel | Bin, Eyal | Wolfsthal, Yaron.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2006Other title: First International Haifa Verification Conference | International Haifa Verification Conference.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings / Antti Valmari (ed.).

by International SPIN Workshop (13th : 2006 : Vienna, Austria) | Valmari, Antti.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2006Other title: 13th International SPIN Workshop | Thirteenth International SPIN Workshop | International SPIN Workshop | European Joint Conferences on Theory and Practice of Software.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings / Thomas Ball, Robert B. Jones (eds.).

by CAV (Conference) (18th : 2006 : Seattle, Wash.) | Ball, Thomas, 1965- | Jones, Robert B. (Robert Brent), 1969-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2006Other title: CAV 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings / David L. Dill, ed.

by CAV (Conference) (6th : 1994 : Stanford, Calif.) | Dill, David L.

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

Powered by Koha