Computer aided verification
: 6th international workshop ; proceedings / CAV '94, Stanford, California, USA, June 21 - 23, 1994. David L. Dill (ed.). - Berlin : Springer, 1994. - IX, 480 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 818)
ISBN 978-3-540-58179-6 / 3-540-58179-0 kart. : DM 86.00
Literaturangaben
Quelle: DNB
Computer aided verification
: 10th international conference ; proceedings / CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998. Alan J. Hu ; Moshe Y. Yardi (ed.). - Berlin : Springer, 1998. - IX, 552 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1427)
ISBN 978-3-540-64608-2 / 3-540-64608-6 kart. : DM 114.00
Literaturangaben
Quelle: DNB
Computer aided verification
: 12th international conference ; proceedings / CAV 2000, Chicago, IL, USA, July 15 - 19, 2000. E. Allen Emerson ; A. Prasad Sistla (ed.). - Berlin : Springer, 2000. - X, 582 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1855)
ISBN 978-3-540-67770-3 / 3-540-67770-4 kart. : DM 122.00
Literaturangaben
Quelle: DNB
Computer aided verification
: 7th international conference ; proceedings / CAV '95, Liège, Belgium, July 3 - 5, 1995. Pierre Wolper (ed.). - Berlin : Springer, 1995. - X, 450 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 939)
ISBN 978-3-540-60045-9 / 3-540-60045-0 kart. : DM 94.00
Literaturangaben
Quelle: DNB
Computer aided verification
: 2nd international conference ; proceedings / CAV '90, New Brunswick, NJ, June 18 - 21, 1990. E. M. Clarke ; R. P. Kurshan (ed.). - Berlin : Springer, 1991. - XIII, 372 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; 531)
ISBN 978-3-540-54477-7 / 3-540-54477-1 kart. : DM 55.00
Literaturangaben
Quelle: DNB
Computer aided verification
: 5th international conference ; proceedings / CAV '93, Elounda, Greece, June 28 - July 1, 1993. Costas Courcoubetis (ed.). - Berlin : Springer, 1993. - IX, 504 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 697)
ISBN 978-3-540-56922-0 / 3-540-56922-7 kart. : DM 96.00
Literaturangaben
Quelle: DNB
Computer aided verification
: 20th international conference ; proceedings / CAV 2008, Princeton, NJ, USA, July 7 - 14, 2008. Aarti Gupta ; Sharad Malik (ed.). - Berlin : Springer, 2008. - XVII, 558 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 5123)
ISBN 978-3-540-70543-7 kart. : EUR 72.76 (freier Pr.), sfr 113.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Concurrency and hardware design
: advances in Petri nets / J. Cortadella ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2549)
ISBN 978-3-540-36190-9
Lizenzpflichtig
Quelle: DNB
Concurrency and hardware design
: advances in Petri nets / Jordi Cortadella ... (ed.). - Berlin : Springer, 2002. - IX, 343 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 2549)
ISBN 978-3-540-00199-7 / 3-540-00199-9 kart. : EUR 52.43
Literaturangaben
Quelle: DNB
Declarative agent languages and technologies II
: second international workshop ; revised selected papers / DALT 2004, New York, NY, USA, July 19, 2004. João Leite ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3476 : Lecture notes in artificial intelligence)
ISBN 978-3-540-31927-6
Lizenzpflichtig
Quelle: DNB
