| Titre : | Construction, preuve et évaluation des programmes |
| Titre de série : | Algorithmique, 1 |
| Auteurs : | Pierre Berlioux, Auteur ; Philippe Bizard, Auteur |
| Type de document : | texte imprimé |
| Mention d'édition : | Nouv. éd. |
| Editeur : | Paris : Dunod, 1989 |
| Collection : | Dunod informatique |
| ISBN/ISSN/EAN : | 978-2-04-019605-9 |
| Format : | 182 p. / 24 x 16 cm |
| Langues: | Français |
| Index. décimale : | 510 (Mathématiques) |
| Catégories : | |
| Résumé : | Intéresse les personnes ayant déjà une certaine pratique de la programmation et qui désirent acquérir des connaissances plus approfondies, en particulier sur la preuve de la correction des programmes et sur leur évaluation. |
Exemplaires
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| aucun exemplaire | |||||
