Vérification de logiciels / Schnoebelen, Philippe (DL 1999)

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

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
SYD97/1	SYD97	Livre	Magasin d'Ouvrages / INF	Système d'Exploitation	Consultation sur place Exclu du prêt

Aucun avis, veuillez vous identifier pour ajouter le vôtre !

---

page 1/1