The Calculus Of Computation: Decision Procedures With Applications To Verification
By (author) Aaron R. Bradley
By (author) Aaron R. Bradley
| Auteur | By (author) Aaron R. Bradley |
|---|---|
| Date de publication | 12 oct. 2007 |
| EAN | 9783540741121 |
| Series Number | SPRING12 |
| Contributeurs | Aaron R. Bradley |
| Éditeur | Springer-verlag Berlin And Heidelberg Gmbh & Co. Kg |
| Langues | Anglais |
| Pays de Publication | France |
| Poids | 0.730000 |
Rédigez votre propre commentaire
