Fortell venner om denne varen:
Symbolic Model Checking
Kenneth McMillan
Pris
SFr. 89,49
Bestillingsvarer
Forventes levert 21. nov - 2. des
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
Symbolic Model Checking
Kenneth McMillan
| Media | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 31. juli 1993 |
| ISBN13 | 9780792393801 |
| Utgivere | Kluwer Academic Publishers |
| Antall sider | 216 |
| Mål | 150 × 220 × 20 mm · 426 g |
| Språk | Engelsk |
![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 (Pocketbok) [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-pocketbok&class=scaled&v=1552776849)