Suchfeld einblenden
Person Gupta, Aarti
2 Treffer
Seite < 1 >
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
: 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
Seite < 1 >
