Fortæl dine venner om denne vare:
Symbolic model checking
Kenneth L. McMillan
Pris
DKK 900
Bestilles fra fjernlager
Forventes klar til forsendelse 19. - 26. aug.
Tilføj til din iMusic ønskeseddel
Eller
Findes også som:
Symbolic model checking
Kenneth L. McMillan
| Medie | Bøger Bog |
| Udgivet | 31. juli 1993 |
| ISBN13 | 9780792393801 |
| Forlag | Kluwer Academic |
| Antal sider | 194 |
| Mål | 426 g |
| Sprog | Engelsk |
Se alt med Kenneth L. McMillan ( f.eks. Bog og Paperback Bog )