Fortell venner om denne varen:
Symbolic model checking
Kenneth L. McMillan
Pris
NOK 1.209
Bestillingsvarer
Forventes levert 28. mai - 7. 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 )