| 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
