A. B. · A. Bradley · A. R. · R.B. · R. Bradley
| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Programming for Engineers: A Foundational Approach to Learning C and Matlab | Gebundene Ausgabe | 978-3-642-23302-9 (3-642-23302-3) | 2011 | |
| The Calculus of Computation: Decision Procedures with Applications to Verification | Taschenbuch | 978-3-642-09347-0 (3-642-09347-7) | 2010 | Zohar Manna |
| The Calculus of Computation: Decision Procedures with Applications to Verification | Gebundene Ausgabe | 978-3-540-74112-1 (3-540-74112-7) | 2007 | " |