Pastāsti draugiem par šo preci:
SPIN Model Checker, The: Primer and Reference Manual Gerard Holzmann
Do you have a profile? Pierakstīties
Saņemiet paziņojumus par jauniem Gerard Holzmann izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
SPIN Model Checker, The: Primer and Reference Manual
Gerard Holzmann
608 pages
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2011. gada 13. jūnijs |
| ISBN13 | 9780321773715 |
| Izdevēji | Pearson Education (US) |
| Lapas | 608 |
| Izmēri | 180 × 232 × 31 mm · 1,04 kg |
| Valoda | Angļu |
