Concurrency verification : introduction to compositional and noncompositional methods
Enregistré dans:
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 : |
Chargement en cours