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
Decision procedures
: an algorithmic point of view / Daniel Kroening .... - Berlin : Springer, 2008. - Online-Ressource - (Texts in theoretical computer science)
ISBN 978-3-540-74105-3
Lizenzpflichtig
Quelle: DNB
Brummayer, Robert: Efficient SMT solving for bit vectors and the extensional theory of arrays
/ Robert Brummayer. - Linz : Trauner, 2010. - 142 S. : graph. Darst.; 21 cm - (Schriften der Johannes-Kepler-Universität Linz : Reihe C, Technik und Naturwissenschaften; 61)
ISBN 978-3-85499-707-8 kart.
Quelle: DNB