Chargement en cours...
Principles of model checking /
| Auteur principal: | |
|---|---|
| Autres auteurs: | |
| Format: | Printed Book |
| Langue: | English |
| Publié: |
Cambridge, Mass. :
The MIT Press,
[2012
|
| Sujets: | |
| Accès en ligne: | http://www.loc.gov/catdir/toc/ecip0727/2007037603.html |
Internet
http://www.loc.gov/catdir/toc/ecip0727/2007037603.htmlDCS
| Cote: |
51 BAI |
|---|---|
| Exemplaire | Statut en temps réel indisponible |