Hardback
Add to list Added to list Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Willem-Paul de Roever (Christian-Albrechts Universitat zu Kiel, Germany),Frank de Boer (Universiteit Utrecht, The Netherlands),Ulrich Hanneman (Katholieke Universiteit Nijmegen, The Netherlands),Jozef Hooman (Katholieke Universiteit Nijmegen, The Netherlands),Yassine Lakhnech (Universite Joseph Fourier, Grenoble)
This is the first introduction to verifying concurrent programs scaling up to a realistic size. It is self-contained and comprehensive, guiding the reader from advanced undergraduate level to the state-of-the-art…
Available to order, ships in approx 2 weeksAvailable to order