المكتبة المركزية
Détail de l'auteur
Auteur Pierre Berlioux |
Documents disponibles écrits par cet auteur (2)
Affiner la recherche Interroger des sources externes
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 Exemplaires(0)
Disponibilité aucun exemplaire
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 Exemplaires(2)
Code-barres Cote Support Localisation Section Disponibilité 005-39.1 005-39.1 Périodique Bibliothèque principale indéterminé Exclu du prêt 005-39.2 005-39.2 Périodique Bibliothèque principale indéterminé Exclu du prêt
