A partir de cette page vous pouvez :
Retourner au premier écran avec les catégories... |
Détail de l'auteur
Auteur philippe schnoebelen
Documents disponibles écrits par cet auteur
Affiner la recherchevérification de logicls / philippe schnoebelen
Titre : vérification de logicls : techniques et outils du model -checking Type de document : texte imprimé Auteurs : philippe schnoebelen, Auteur Editeur : Paris : Vuibert Année de publication : 1999 Importance : 197p Format : 24/17cm ISBN/ISSN/EAN : 978-2-7117-8646-6 Note générale : index Langues : Français (fre) Mots-clés : techniques , outils , model -checking vérification de logicls : techniques et outils du model -checking [texte imprimé] / philippe schnoebelen, Auteur . - Paris : Vuibert, 1999 . - 197p ; 24/17cm.
ISBN : 978-2-7117-8646-6
index
Langues : Français (fre)
Mots-clés : techniques , outils , model -checking Exemplaires
Code-barres Cote Support Localisation Section Disponibilité BC00101/3 005.14 VER Ouvrage Bibliothèque de la Faculté des Sciences Informatique Exclu du prêt BC00101/4 005.14 VER Ouvrage Bibliothèque de la Faculté des Sciences Informatique Disponible BC00101/5 005.14 VER Ouvrage Bibliothèque de la Faculté des Sciences Informatique Disponible 101/02 08-08-012 Ouvrage Bibliothèque Universitaire Centrale Informatique Disponible 101/1 08-08-012 Ouvrage Bibliothèque Universitaire Centrale Informatique Exclu du prêt