Concurrency verification : introduction to compositional and noncompositional methods

Concurrency verification : introduction to compositional and noncompositional methods

Enregistré dans:
Détails bibliographiques
Format : Livre
Langue : anglais
Titre complet : Concurrency verification : introduction to compositional and noncompositional methods / Willem-Paul de Roever, Frank de Boer, Ulrich Hannemann...[et al]
Publié : Cambridge : Cambridge University press , 2001
Description matérielle : XXII-776 p.
Collection : Cambridge tracts in theoretical computer science ; 54
Sujets :
Logiciels > Essais
Parallélisme (informatique)
Description
ISBN : 0-521-80608-9