Suchfeld einblenden
Person Manna, Zohar
2 Treffer
Seite < 1 >
Bradley, Aaron R.: The calculus of computation
: decision procedures with applications to verification / Aaron R. Bradley ; Zohar Manna. - Berlin : Springer, 2007. - XV, 365 S. : graph. Darst.; 24 cm
ISBN 978-3-540-74112-1 / 3-540-74112-7 Pp. : EUR 37.40, ca. sfr 61.00
Quelle: DNB Verlagsmeldungen
Verification
: theory and practice ; essays dedicated to Zohar Manna on the occasion of his 64th birthday / Nachum Dershowitz (ed.). - Berlin : Springer, 2003. - XV, 782 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 2772)
ISBN 978-3-540-21002-3 / 3-540-21002-4 kart. : EUR 83.46 (freier Pr.), sfr 132.00
Quelle: DNB Verlagsmeldungen
Seite < 1 >
