Pastāsti draugiem par šo preci:
Reactive Systems: Modelling, Specification and Verification Aceto, Luca (University of Iceland, Reykjavik)
Cena
€ 148,99
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 7. - 15. okt.
Saņemiet paziņojumus par jauniem Aceto, Luca (University of Iceland, Reykjavik) izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Reactive Systems: Modelling, Specification and Verification
Aceto, Luca (University of Iceland, Reykjavik)
This accessible text describes the process algebraic approach to the specification and verification of software and software systems using mathematical logic. Offering a balanced introduction for graduate students, the book describes all the various approaches, their strengths and weaknesses, and when they are best used.
300 pages, 28 b/w illus. 7 tables 188 exercises
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2007. gada 9. augusts |
| ISBN13 | 9780521875462 |
| Izdevēji | Cambridge University Press |
| Lapas | 302 |
| Izmēri | 183 × 256 × 22 mm · 666 g |
| Valoda | Angļu |
