Titre :	Vérification de logiciels : Techniques et outils du modèl-checking
Type de document :	texte imprime
Auteurs :	Schnoebelen, Philippe, Directeur de publication, rédacteur en chef ; Berard ,Beatrice, Auteur ; Bidoit, Michel ; Laroussinie, François
Editeur :	Paris : Vuibert
Année de publication :	DL 1999
Collection :	Vuibert informatique, ISSN 1632-4676
Importance :	(XV-197 p.)
Présentation :	ill.
Format :	24 cm
ISBN/ISSN/EAN :	978-2-7117-8646-6
Note générale :	Bibliogr. p. 183-187. Index
Langues :	Français
Mots-clés :	Logiciels:vérification  Logiciels:fiabilité  Débogage  Logiciels:développement:qualité:contrôle
Index. décimale :	00514
Note de contenu :
Permalink :	./index.php?lvl=notice_display&id=14775

Vérification de logiciels : Techniques et outils du modèl-checking [texte imprime] / Schnoebelen, Philippe, Directeur de publication, rédacteur en chef ; Berard ,Beatrice, Auteur ; Bidoit, Michel ; Laroussinie, François . - Paris : Vuibert, DL 1999 . - (XV-197 p.) : ill. ; 24 cm. - (Vuibert informatique, ISSN 1632-4676) .
ISBN : 978-2-7117-8646-6
Bibliogr. p. 183-187. Index
Langues : Français

Mots-clés :	Logiciels:vérification  Logiciels:fiabilité  Débogage  Logiciels:développement:qualité:contrôle
Index. décimale :	00514
Note de contenu :
Permalink :	./index.php?lvl=notice_display&id=14775