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 |
| ![Algorithmique verifier , tester , et concevoir des programmes en les modélisant vignette](https://catalogue.univ-relizane.dz/bc/opac_css/thumbnail.php?type=1&id=7272) |