Pastāsti draugiem par šo preci:
Z: An Introduction to Formal Methods Diller, Antoni (University of Birmingham) 2. izdevums
Cena
€ 159,99
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 11. - 25. sept.
Saņemiet paziņojumus par jauniem Diller, Antoni (University of Birmingham) izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Z: An Introduction to Formal Methods
Diller, Antoni (University of Birmingham)
Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards.
394 pages, glossary
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 1994. gada 16. jūnijs |
| ISBN13 | 9780471939733 |
| Izdevēji | John Wiley & Sons Inc |
| Lapas | 400 |
| Izmēri | 244 × 172 × 21 mm · 635 g |
