Bücher nach ISBN
Aaron R. Bradley
Springer, Berlin
Titel
ISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
The Calculus of Computation: Decision Procedures with Applications to Verification
978-3-540-74112-1
(3-540-74112-7)
2007
Zohar Manna
A. B.
·
A. Bradley
·
A. R.
·
R.B.
·
R. Bradley
Aaron R. Kipnis