Titre :	Algorithmique verifier , tester , et concevoir des programmes en les modélisant : cours et exercices corrigés
Type de document :	texte imprimé
Auteurs :	Jacques Julliand ; Pierre Berlioux, Préfacier, etc.
Editeur :	paris : vuibert
Importance :	264 p
Format :	24 cm
Langues :	Français (fre)
Mots-clés :	Algorithmique
Index. décimale :	005
Résumé :	cet ouvrage présent à la base des téchniques de vérification , la logique de hoare est au coeur , on trouvera ici comment utiliser cette méthode pour vérifier et concervoir des logiciels surs.
En ligne :	005-39.1.pdf

Algorithmique verifier , tester , et concevoir des programmes en les modélisant : cours et exercices corrigés [texte imprimé] / Jacques Julliand ; Pierre Berlioux, Préfacier, etc. . - paris : vuibert, [s.d.] . - 264 p ; 24 cm.
Langues : Français (fre)

Mots-clés :	Algorithmique
Index. décimale :	005
Résumé :	cet ouvrage présent à la base des téchniques de vérification , la logique de hoare est au coeur , on trouvera ici comment utiliser cette méthode pour vérifier et concervoir des logiciels surs.
En ligne :	005-39.1.pdf