| Titre : | Construction et vérification de programmes |
| Auteurs : | RolandC. Backhouse, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Issy-les-Moulineaux (Hauts-de-Seine) : Masson, 1989 |
| Collection : | MIM-algorithmique, programmation |
| ISBN/ISSN/EAN : | 978-2-225-81660-4 |
| Format : | 288 p. / 24 x 16 cm |
| Langues: | Français |
| Langues originales: | Anglais |
| Index. décimale : | 005.1 |
| Mots-clés: | algorithmes |
| Résumé : |
Une approche thématique de la vérification de la programmation. Expose les bases mathématiques (logique des prédicats de 1er ordre) à partir desquelles deux méthodes de vérification sont applicables. |
Exemplaires (3)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| TEC006035 | INF00644 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
| TEC006036 | INF00645 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
| TEC013326 | INF03739 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
