Concurrency verification: introduction to compositional and non-compositional methods
Auteur :
Roever, Willem-Paul de / Boer, Frank de / Hanneman, Ulrich / Hooman, Jozef / Lakhnech, Yassine / Poel, Mannes / Zwiers, Job
Éditeur :
Cambridge University Press
ISBN :
9780521169325
Date de publication :
26 janv. 2012
Dimensions :
22,9 x 15,2 x 4,0 cm
Poids :
1050 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.