Povej prijatelju o tem izdelku:
SPIN Model Checker, The: Primer and Reference Manual Gerard Holzmann
Do you have a profile? Prijava
Prejemajte obvestila o novih izdajah izvajalca Gerard Holzmann
Kaj pravijo naše stranke:
Dodaj na svoj seznam želja iMusic
SPIN Model Checker, The: Primer and Reference Manual
Gerard Holzmann
608 pages
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 13. junija 2011 |
| ISBN13 | 9780321773715 |
| Založniki | Pearson Education (US) |
| Strani | 608 |
| Dimenzije | 180 × 232 × 31 mm · 1,04 kg |
| Jezik | Angleščina |
