![Théorie des programmes](./getimage.php?url_image=http%3A%2F%2Fimages-eu.amazon.com%2Fimages%2FP%2F%21%21isbn%21%21.08.MZZZZZZZ.jpg¬icecode=9782040105167&entity_id=8660&vigurl=https%3A%2F%2Fencrypted-tbn0.gstatic.com%2Fimages%3Fq%3Dtbn%3AANd9GcQHnJ5H_hJ1nLtc6vEl-ty579fECCxGfeH9I8608MPkN6wu4T-S9Q%26s)
Prêtable
Titre : | Théorie des programmes : Schémas, preuves, sémantique |
Auteurs : | C. Livercy |
Type de document : | texte imprimé |
Editeur : | Paris [France] : Bordas, 1978 |
Collection : | Dunod Informatique |
ISBN/ISSN/EAN : | 978-2-04-010516-7 |
Format : | 328 p. / ill.; couv. en coul. / 24 cm. |
Langues: | Français |
Langues originales: | Français |
Index. décimale : | 005.3 (Programmes) |
Catégories : | |
Mots-clés: | Programmation ; Informatique. |
Note de contenu : |
Sommaire :
Chapitre 1: Problème récursifs et théorie du point fixe Chapitre 2: Schémas de programmes Chapitre 3: Vérification et conception de programmes Chapitre 4: Sémantique d'un langage de programmation |
Exemplaires (1)
Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|
T8/1423 | Livre | Bibliothèque de la Faculté de Technologie | Section documentaire | Disponible |