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 | Salle des livres | Disponible |
