| Titre : |
Théorie des programmes : schémas, preuves, sémantique |
| Type de document : |
texte imprimé |
| Auteurs : |
C. Livercy, Auteur ; Jean-Pierre Finance, Collaborateur ; C. Pair, Préfacier, etc. |
| Editeur : |
Paris ; Malakoff : Dunod |
| Année de publication : |
1978 |
| Collection : |
Dunod informatique |
| Sous-collection : |
Phase formation |
| Importance : |
XII-328 p. |
| Présentation : |
ill. |
| Format : |
24 cm |
| ISBN/ISSN/EAN : |
978-2-04-010516-7 |
| Note générale : |
Bibliogr. p. [315]-322. Index |
| Langues : |
Français (fre) |
| Mots-clés : |
Informatique
Ordinateurs -- Programmation
Electronic digital computers -- Programming |
| Index. décimale : |
681.3.06 Logiciels. Software |
| 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. |
Théorie des programmes : schémas, preuves, sémantique [texte imprimé] / C. Livercy, Auteur ; Jean-Pierre Finance, Collaborateur ; C. Pair, Préfacier, etc. . - Paris ; Malakoff : Dunod, 1978 . - XII-328 p. : ill. ; 24 cm. - ( Dunod informatique. Phase formation) . ISBN : 978-2-04-010516-7 Bibliogr. p. [315]-322. Index Langues : Français ( fre)
| Mots-clés : |
Informatique
Ordinateurs -- Programmation
Electronic digital computers -- Programming |
| Index. décimale : |
681.3.06 Logiciels. Software |
| 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. |
|  |
Ajouter le résultat dans votre panier Faire une suggestion Affiner la rechercheThéorie des programmes (1978)
