Épuisé, mais très demandé!
Paramètres
- 530pages
- 19 heures de lecture
Achat du livre
Temporal Verification of Reactive Systems, Collectif d'auteurs
- Langue
- Année de publication
- 1995
- product-detail.submit-box.info.binding
- (rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Il manque plus que ton avis ici.
- Titre
- Temporal Verification of Reactive Systems
- Sous-titre
- Safety
- Langue
- Anglais
- Auteurs
- Collectif d'auteurs
- Éditeur
- Springer
- Publié
- 1995
- Format
- rigide
- Pages
- 530
- ISBN10
- 0387944591
- ISBN13
- 9780387944593
- Séries
- Mots clés
- Nonfiction, Technologie & Ingénierie, Manuels et guides, Informatique & Internet, Livres, Logique, Développement de logiciels, Algorithmes
- Évaluation
- 4,5 sur 5