GEOTRUST SSL CERTIFICATE
| Titre : | Programmation en Pascal, prédicats, systèmes formels |
| Titre de série : | Langage Pascal et logique du premier ordre, 1 |
| Auteurs : | Maurice Margenstern, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Issy-les-Moulineaux (Hauts-de-Seine) : Masson, 1989 |
| Collection : | Logique, mathématiques, informatique |
| ISBN/ISSN/EAN : | 978-2-225-81900-1 |
| Format : | 304 p. / 24 x 16 cm |
| Langues: | Français |
| Index. décimale : | 005.3 |
| Mots-clés: | PASCAL (langage de programmation) |
| Résumé : |
Présente les outils de logique mathématique appliqués à l'analyse du langage Pascal. |
Exemplaires
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| aucun exemplaire | |||||
