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
Formal methods in computer aided design
: 5th international conference ; proceedings / FMCAD 2004, Austin, Texas, USA, November 15 - 17, 2004. Alan J. Hu ; Andrew K. Martin (ed.). - Berlin : Springer, 2004. - XI, 444 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3312)
ISBN 978-3-540-23738-9 / 3-540-23738-0 kart. : ca. EUR 64.20 (freier Pr.), ca. sfr 106.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
