Suchfeld einblenden
Person Strichman, Ofer
1 Treffer
Seite < 1 >
Kroening, Daniel: Decision procedures
: an algorithmic point of view / Daniel Kroening ; Ofer Strichman. Foreword by Randal E. Bryant. - Berlin : Springer, 2008. - XVI, 304 S. : graph. Darst.; 24 cm - (Texts in theoretical computer science)
ISBN 978-3-540-74104-6 Pp. : EUR 53.45 (freier Pr.), ca. sfr 113.50 (freier Pr.)
Literaturverz. S. 285 - 297
Quelle: DNB Verlagsmeldungen
Seite < 1 >
