Titre :	Vérification de logiciels : techniques et outils du model-checking
Type de document :	texte imprimé
Auteurs :	Béatrice Bérard, Auteur ; Michel Bidoit, Auteur ; François Laroussinie, Auteur
Mention d'édition :
Editeur :	Paris : Vuibert
Année de publication :	1999
Collection :	Vuibert informatique, ISSN 1632-4676
Importance :	197 p.
Présentation :	ill.
Langues :	Français (fre)
Catégories :	[Thesaurus]Sciences et Techniques:Sciences:Informatique:Programmation informatique
Mots-clés :	Vérification des logiciels

Vérification de logiciels : techniques et outils du model-checking [texte imprimé] / Béatrice Bérard, Auteur ; Michel Bidoit, Auteur ; François Laroussinie, Auteur  . -   . - Paris : Vuibert, 1999 . - 197 p. : ill.. - (Vuibert informatique, ISSN 1632-4676) .
Langues : Français (fre)

Catégories :	[Thesaurus]Sciences et Techniques:Sciences:Informatique:Programmation informatique
Mots-clés :	Vérification des logiciels