Produkt mají v nabídce:
Concurrency Verification - Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel, Germany) a Boer, Frank de (Universiteit Utrecht, The Netherlands) a Hanneman, Ulrich (Katholieke Universiteit Nijmegen, The Netherlands) a Hooman, Jozef (Katholieke Universiteit Nijmegen, The Neth
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.
