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
€ 277,99
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 2. - 16. 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, 5 tables 156 exercises
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2001. gada 26. novembris |
| ISBN13 | 9780521806084 |
| Izdevēji | Cambridge University Press |
| Lapas | 800 |
| Izmēri | 160 × 235 × 43 mm · 1,18 kg |
| Valoda | Angļu |
