Concurrency Verification

Frank de (Universiteit Utrecht, The Netherlands) Boer, Job (University of Twente, Enschede, The Netherlands) Zwiers, Jozef (Katholieke Universiteit Nijmegen, The Netherlands) Hooman, Mannes (University of Twente, Enschede, The Netherlands) Poel, Ulrich (Katholieke Universiteit Nijmegen, The Netherlands) Hanneman, Willem-Paul de (Christian-Albrechts Universitat zu Kiel, Germany) Roever, Yassine (Universite Joseph Fourier, Grenoble) Lakhnech

Cambridge University Press, 2001

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.

ISBN-13

9780521806084

ISBN-10

0521806089

Publisher

Cambridge University Press

Year

2001

Publication date

2001-11-26

Pages

800

Dimensions

235x160x43

Weight

1175