Vertel uw vrienden over dit artikel:
SPIN Model Checker, The: Primer and Reference Manual Gerard Holzmann
Heb je een profiel? Inloggen
Ontvang meldingen over nieuwe releases van Gerard Holzmann
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
SPIN Model Checker, The: Primer and Reference Manual
Gerard Holzmann
608 pages
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 13 juni 2011 |
| ISBN13 | 9780321773715 |
| Uitgevers | Pearson Education (US) |
| Pagina's | 608 |
| Afmetingen | 180 × 232 × 31 mm · 1,04 kg |
| Taal en grammatica | Engels |
