Accéder aux autres sites de l'Université Mohammed Premier

Documents disponibles écrits par cet auteur

Vérification de logiciels / Béatrice Bérard

Public ISBD 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

Exemplaires

Cote	Section	Localisation	Code-barres	Disponibilité	Numero_inventaire
005.1 BBV	Informatique	Biblio-ENSAO	0000000063201	Disponible	1627
005.1 BBV	Informatique	Biblio-ENSAO	0000000063301	Disponible	1624
005.1 BBV	Informatique	Biblio-ENSAO	0000000063401	Disponible	1625
005.1 BBV	Informatique	Biblio-ENSAO	0000000063501	Disponible	1626