Fortæl dine venner om denne vare:
Symbolic Model Checking
Kenneth McMillan
Pris
DKK 894
Bestilles fra fjernlager
Forventes klar til forsendelse 14. - 21. nov.
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller
Symbolic Model Checking
Kenneth McMillan
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 31. juli 1993 |
| ISBN13 | 9780792393801 |
| Forlag | Kluwer Academic Publishers |
| Antal sider | 216 |
| Mål | 426 g |
| Sprog | Engelsk |
Vis alle
Mere med Kenneth McMillan
![Cover for Kenneth Mcmillan · Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings - Lecture Notes in Computer Science (Paperback Bog) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/127/9783642540127.jpg?kenneth-mcmillan-2014-verification-model-checking-and-abstract-interpretation-15th-international-conference-vmcai-2014-san-diego-ca-usa-january-19-21-2014-proceedings-lecture-notes-in-computer-science-paperback-bog&class=scaled&v=1552776849)
Se alt med Kenneth McMillan ( f.eks. Hardcover bog og Paperback Bog )