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