| Titre : | Théorie des programmes : schémas, preuves, sémantique |
| Auteurs : | C. Livercy, Auteur ; Jean-Pierre Finance, Collaborateur ; C. Pair, Préfacier, etc. |
| Type de document : | texte imprimé |
| Editeur : | Paris ; Malakoff : Dunod, 1978 |
| Collection : | Dunod informatique |
| Sous-collection : | Phase formation |
| ISBN/ISSN/EAN : | 978-2-04-010516-7 |
| Format : | XII-328 p. / ill. / 24 cm |
| Note générale : | Bibliogr. p. [315]-322. Index |
| Langues : | Français |
| Index. décimale : | 681.3.06 (Logiciels. Software) |
| Tags : | Informatique Ordinateurs -- Programmation Electronic digital computers -- Programming |
| Résumé : |
La construction des programmes s'accommode de moins en moins d'empirisme et d'imprécision, et il devient vital pour l'analyste et le programmeur d'avoir un certain recul par rapport à cette technique qu'est la programmation. Cet ouvrage, le premier en langue française traitant de ce sujet, répond à ce souci en donnant une présentation synthétique et approfondie des principaux aspects de la théorie des programmes. |
| Note de contenu : |
Au sommaire :
1. Problèmes, algorithmes et programmes. 2. Problèmes récursifs et théorie du point fixe. 3. Schémas de programmes. 4. Vérification et conception de programmes. 5. Sémantique d'un langage de programmation. |
Exemplaires (2)
| Cote | Support | Localisation | Section | Disponibilité | Etat_Exemplaire |
|---|---|---|---|---|---|
| 681.3.06 LIV | Papier | Bibliothèque Centrale | Informatique | Disponible | En bon état |
| 681.3.06 LIV | Papier | Bibliothèque Centrale | Informatique | Disponible | Consultation sur place |
