Connexion
Champs masqués
Livres
Ma bibliothèque
Aide
Recherche Avancée de Livres
Version papier du livre
Aucun e-book disponible
The MIT Press
Amazon France
Trouver en bibliothèque
Tous les vendeurs
»
Model Checking
De Edmund M. Clarke, Orna Grumberg, Doron Peled, Doron A. Peled
À propos de ce livre
Pages affichées avec l'autorisation de
MIT Press
.
Droits d'auteur
.
Page iv