Vertel uw vrienden over dit artikel:
SPIN Model Checker, The: Primer and Reference Manual Gerard Holzmann
Heb je een profiel? Inloggen
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
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 |
