Bookbot

Temporal Verification of Reactive Systems

Safety

Auteurs

  • Collectif d'auteurs

Évaluation du livre

Achat du livre

Temporal Verification of Reactive Systems, Collectif d'auteurs

Langue
Année de publication
1995
product-detail.submit-box.info.binding
(rigide),
État du livre
Bon
Prix
9,99 €

Modes de paiement

4,5
Très bien
2 Évaluations

Il manque plus que ton avis ici.