Vérification de logiciels
|
| Compl. Titre | techniques et outils du model-checking |
| Auteur | Schnoebelen, Philippe (Editeur Intel.) |
| Bérard, Béatrice (Auteur) | |
| Bidoit, Michel (Auteur) | |
| Laroussinie, François (Auteur) | |
| Collection | Vuibert Informatique |
| Collation | 1 vol. (XV-197 p.) |
| Format | 24 cm |
| Illustration | s. ill. |
| ISBN | 2-7117-8646-3 |
| Langue Edition | français |
| Sujets | Génie logiciel |
| Logiciels -- Fiabilité | |
| Débogage | |
| Logiciels -- développement -- qualité -- contrôle | |
| Promotions |
| Nombre de réservation(s) actuelle(s) : 0 |
| Site | Numéro | Cote | Section | Etat |
| Bibliotheque | 1012970000019 | 004.2 SCH | Adulte | ISMEP Paris | Disponible |
Notes : notes bibliogr. Bibliogr. p. Þ183Ð-187. Index