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 : |
Bib. Centrale Nantes
| Cote | Prêt | Statut |
---|---|---|---|
Magasin 2 | 681.3 CON A 05 | Empruntable | Disponible |