Fortell venner om denne varen:
Symbolic model checking
Kenneth L. McMillan
Pris
₪ 410
Bestillingsvarer
Forventes levert 11. - 21. jun
Legg til iMusic ønskeliste
Finnes også som:
Symbolic model checking
Kenneth L. McMillan
Media | Bøker Bok |
Utgitt | 31. juli 1993 |
ISBN13 | 9780792393801 |
Utgivere | Kluwer Academic |
Antall sider | 194 |
Mål | 426 g |
Språk | Engelsk |
Se alt med Kenneth L. McMillan ( f.eks. Bok og Pocketbok )