الفهرس الآلي للمكتبة المركزية بجامعة غليزان
Détail de l'auteur
Documents disponibles écrits par cet auteur (4)
Affiner la recherche Interroger des sources externes
| 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 |
[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)
| 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 |
[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)
| 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)
| Titre : |
Algorithmique verifier , tester , et concevoir des programmes en les modľisant : cours et exercices corrigš |
| 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šent ̉ la base des tčhniques de vřification , la logique de hoare est au coeur , on trouvera ici comment utiliser cette mťhode pour vřifier et concervoir des logiciels surs. |
| En ligne : |
005-39.1.pdf |
Algorithmique verifier , tester , et concevoir des programmes en les modľisant : cours et exercices corrigš [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šent ̉ la base des tčhniques de vřification , la logique de hoare est au coeur , on trouvera ici comment utiliser cette mťhode pour vřifier et concervoir des logiciels surs. |
| En ligne : |
005-39.1.pdf |
| |
Exemplaires(0)
