Suchfeld einblenden
Person Bradley, Aaron R.
1 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
Seite < 1 >
