The Calculus Of Computation: Decision Procedures With Applications To Verification
By (author) Aaron R. Bradley
Out of Stock
By (author) Aaron R. Bradley
| Author | By (author) Aaron R. Bradley |
|---|---|
| Date Of Publication | Oct 12, 2007 |
| EAN | 9783540741121 |
| Series Number | SPRING12 |
| Contributors | Aaron R. Bradley |
| Publisher | Springer-verlag Berlin And Heidelberg Gmbh & Co. Kg |
| Languages | English |
| Country of Publication | France |
| Weight | 0.730000 |
Write Your Own Review
