Pastāsti draugiem par šo preci:
Understanding Z: A Specification Language and its Formal Semantics - Cambridge Tracts in Theoretical Computer Science Spivey, J. M. (University of Oxford)
Cena
€ 62,49
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 1. - 9. okt.
Saņemiet paziņojumus par jauniem Spivey, J. M. (University of Oxford) izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Understanding Z: A Specification Language and its Formal Semantics - Cambridge Tracts in Theoretical Computer Science
Spivey, J. M. (University of Oxford)
The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications.
140 pages, black & white illustrations
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2008. gada 21. janvāris |
| ISBN13 | 9780521054140 |
| Izdevēji | Cambridge University Press |
| Lapas | 140 |
| Izmēri | 170 × 239 × 8 mm · 234 g |
| Valoda | Angļu |
