The Calculus of Computation : Decision Procedures with Applications to Verification (Record no. 156218)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00212 a2200073 4500 |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Bradley/Manna |
| 245 ## - TITLE STATEMENT | |
| Title | The Calculus of Computation : Decision Procedures with Applications to Verification |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Name of publisher, distributor, etc | Springer |
No items available.