Langage PASCAL et logique du premier ordre, 2. Langage PASCAL et logique du premier ordre / Maurice Margenstern

Public ISBD Titre de série : Langage PASCAL et logique du premier ordre, 2 Titre : Langage PASCAL et logique du premier ordre Type de document : texte imprimé Auteurs : Maurice Margenstern, Auteur Editeur : paris : Masson Année de publication : 1989 Collection : Logique mathématiques informatique, ISSN 09952179 num. 4 Importance : X-288 p. Présentation : graph. Format : 24 cm ISBN/ISSN/EAN : 978-2-225-81953-7 Note générale : Bibliogr. p. 267-270. Index Langues : Français (fre) Langues originales : Anglais (eng) Mots-clés :   PASCAL ( langage de programmation)  Problèmes et exercices Résumé : chapitre5:recursion et recursivite chapitre6:preuves et verifications. chapitre7:comlexite des programmes, solutions des ecercices. Langage PASCAL et logique du premier ordre, 2. Langage PASCAL et logique du premier ordre [texte imprimé] / Maurice Margenstern, Auteur . - paris : Masson, 1989 . - X-288 p. : graph. ; 24 cm. - (Logique mathématiques informatique, ISSN 09952179; 4) . ISBN : 978-2-225-81953-7 Bibliogr. p. 267-270. Index Langues : Français (fre) Langues originales : Anglais (eng) Mots-clés :   PASCAL ( langage de programmation)  Problèmes et exercices Résumé : chapitre5:recursion et recursivite chapitre6:preuves et verifications. chapitre7:comlexite des programmes, solutions des ecercices.

Réservation

Réserver ce document

Exemplaires (5)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
m8/637--1	m8/637	Périodique	Mathématiques et 'informatique	indéterminé	Disponible
m8/637--2	m8/637	Périodique	Mathématiques et 'informatique	indéterminé	Disponible
m8/637--3	m8/637	Périodique	Mathématiques et 'informatique	indéterminé	Disponible
m8/637--4	m8/637	Périodique	Mathématiques et 'informatique	indéterminé	Disponible
m8/637--5	m8/637	Périodique	Mathématiques et 'informatique	indéterminé	Disponible

---

1 (1 - 1 / 1)