 |
| Compl. Titre | techniques et outils du model-checking |
| Auteurs | 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.) |
| Illustration | s. ill. |
| Format | 24 cm |
| ISBN | 2-7117-8646-3 |
| Langue d'édition | français |
| Sujets | Génie logiciel Logiciels -- Fiabilité Débogage Logiciels -- développement -- qualité -- contrôle |
| Nombre de réservation(s) actuelle(s) : 0 | |
|
Notes : notes bibliogr. Bibliogr. p. Þ183Ð-187. Index
Connectez-vous pour poster un commentaire