Documents disponibles écrits par cet auteur

Théorie des programmes / C. Livercy

Public ISBD 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 : 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. . - 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.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
020593	681.3.06 LIV	Papier	Bibliothèque Centrale	Informatique	Disponible	En bon état
019122	681.3.06 LIV	Papier	Bibliothèque Centrale	Informatique	Disponible	Consultation sur place