The Calculus of Computation : Decision Procedures with Applications to Verification
by Aaron R. Bradley, Zohar Manna Paperback 2010
- Author: Aaron R. Bradley, Zohar Manna
- ISBN 13: 9783642093470
- ISBN 10: 3642093477
- Publication Year: 2010
- Language: English
Specifications
| Index-10 | 3642093477 |
|---|---|
| Index-13 | 9783642093470 |
| Language | English |
✨ Readers also enjoyed...
Programming for Engineers : A Foun…