Computer aided verification
: fourth international workshop ; proceedings / CAV '92, Montreal, Canada, June 29 - July 1, 1992. G. v. Bochmann ; D. K. Probst (ed.). - Berlin : Springer, 1993. - IX, 422 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 663)
ISBN 978-3-540-56496-6 / 3-540-56496-9 kart. : DM 80.00
Literaturangaben
Quelle: DNB
Computer aided verification
: 9th international conference ; proceedings / CAV '97, Haifa, Israel, June 22 - 25, 1997. Orna Grumberg (ed.). - Berlin : Springer, 1997. - XI, 486 S. : graph. Darst.; 23 cm - (Lecture notes in computer science; Vol. 1254)
ISBN 978-3-540-63166-8 / 3-540-63166-6 kart. : DM 98.00
Literaturangaben
Quelle: DNB
Computer aided verification
: 15th international conference ; proceedings / CAV 2003, Boulder, CO, USA, July 8 - 12, 2003 / Warren A. Hunt ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2725)
ISBN 978-3-540-45069-6
Lizenzpflichtig
Quelle: DNB
Computer aided verification
: 11th international conference ; proceedings / CAV '99, Trento, Italy, July 6 - 10, 1999. Nicolas Halbwachs ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 1633)
ISBN 978-3-540-48683-1
Lizenzpflichtig
Quelle: DNB
Computer aided verification
: 14th international conference ; proceedings / CAV 2002, Copenhagen, Denmark, July 27 - 31, 2002. E. Brinksma ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2404)
ISBN 978-3-540-45657-5
Lizenzpflichtig
Quelle: DNB
Computer aided verification
: 13th international conference ; proceedings / CAV 2001, Paris, France, July 18 - 22, 2001. G. Berry ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2102)
ISBN 978-3-540-44585-2
Lizenzpflichtig
Quelle: DNB
Computer aided verification
: 20th international conference ; proceedings / CAV 2008, Princeton, NJ, USA, July 7 - 14, 2008. Aarti Gupta ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; Vol. 5123)
ISBN 978-3-540-70545-1
Lizenpflichtig
Quelle: DNB
Computer aided verification
: 19th international conference ; proceedings / CAV 2007, Berlin, Germany, July 3 - 7, 2007. Werner Damm ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4590)
ISBN 978-3-540-73368-3
Lizenzpflichtig
Quelle: DNB
Computer aided verification
: 18th international conference ; proceedings / CAV 2006, Seattle, WA, USA, August 17 - 20, 2006. Thomas Ball ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4144)
ISBN 978-3-540-37411-4
Lizenzpflichtig
Quelle: DNB
Computer aided verification
: 17th international conference ; proceedings / CAV 2005, Edinburgh, Scotland, UK, July 6 - 10, 2005. Kousha Etessami ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3576)
ISBN 978-3-540-31686-2
Lizenzpflichtig
Quelle: DNB
