Couverture : Open Library
Concurrency verification
introduction to compositional and noncompositional methods
Détails de l'édition
- ISBN-13
- 9780521806084
- ISBN-10
- 0521806089
- EAN
- 9780521806084
- Éditeur
- Cambridge university press (Cambridge)
- Date de publication
- 1 janvier 2001
- Langue
- eng
- Pages
- 776
- Dimensions
- 24 cm
Provenance des données
- dimensions BnF Catalogue général · 23 juillet 2026
- language BnF Catalogue général · 23 juillet 2026
- page_count BnF Catalogue général · 23 juillet 2026
- publication_date BnF Catalogue général · 23 juillet 2026
- subtitle BnF Catalogue général · 23 juillet 2026