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 :
9780521806084
Date de publication :
26 nov. 2001
Dimensions :
23,5 x 16,0 x 4,3 cm
Poids :
1175 g
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.