A partir de cette page vous pouvez :
Retourner au premier écran avec les catégories... |
Détail de l'auteur
Auteur François Laroussinie
Documents disponibles écrits par cet auteur
Affiner la rechercheVérification de logiciels / Béatrice Bérard
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