Pastāsti draugiem par šo preci:
Concurrency Verification: Introduction to Compositional and Non-compositional Methods - Cambridge Tracts in Theoretical Computer Science Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel, Germany)
Cena
€ 106,49
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 23. sept. - . gada 7. okt.
Saņemiet paziņojumus par jauniem Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel, Germany) izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Pieejams arī kā:
Concurrency Verification: Introduction to Compositional and Non-compositional Methods - Cambridge Tracts in Theoretical Computer Science
Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel, Germany)
This 2001 book is an introduction to verifying concurrent programs scaling up to a realistic size. It is self-contained and comprehensive, guiding the reader from advanced undergraduate level. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text.
800 pages, black & white illustrations
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2012. gada 26. janvāris |
| ISBN13 | 9780521169325 |
| Izdevēji | Cambridge University Press |
| Lapas | 800 |
| Izmēri | 154 × 228 × 42 mm · 1,14 kg |
| Valoda | Angļu |
