Couverture : Open Library
Real-time systems
formal specification and automatic verification
Détails de l'édition
- ISBN-13
- 9780521883337
- ISBN-10
- 0521883334
- EAN
- 9780521883337
- Éditeur
- Cambridge university press (Cambridge (GB))
- Date de publication
- 1 janvier 2008
- Langue
- eng
- Pages
- 320
- Dimensions
- 26 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