Nantilus
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 |