Bibliothèque de Faculté de Génie Mécanique IGCMO
Auteur Maurice Margenstern
|
|
Documents disponibles écrits par cet auteur (2)
Affiner la recherche Interroger des sources externes
Titre : Langage Pascal et logique du premier ordre Tome 2 : récursivité et dérécursification- preuves et complexité d'algorithmes Type de document : texte imprimé Auteurs : Maurice Margenstern, Auteur Editeur : Masson Année de publication : 1990 Collection : Logique Mathématiques Informatique, ISSN 0995-2179 Importance : 288p Présentation : ill Format : 24cmx16cm ISBN/ISSN/EAN : 2-225-81953-x Langues : Français (fre) Langues originales : Français (fre) Catégories : Informatique:02 Logiciels et Programmation Mots-clés : récursion et récursivité preuves et vérifications complexité des programmes . Langage Pascal et logique du premier ordre Tome 2 : récursivité et dérécursification- preuves et complexité d'algorithmes [texte imprimé] / Maurice Margenstern, Auteur . - Masson, 1990 . - 288p : ill ; 24cmx16cm. - (Logique Mathématiques Informatique, ISSN 0995-2179) .
ISSN : 2-225-81953-x
Langues : Français (fre) Langues originales : Français (fre)
Catégories : Informatique:02 Logiciels et Programmation Mots-clés : récursion et récursivité preuves et vérifications complexité des programmes . Réservation
Réserver ce document
Exemplaires(1)
Code-barres numéro d'inventaire Cote Support Localisation Section Disponibilité 62097 08-02-0650 Livre Bibliothèque IGCMO Documentaires Disponible Logique Mathématiques Informatique. Langage Pascal et logique du premier ordre Tome 1 / Maurice Margenstern
Titre de série : Logique Mathématiques Informatique Titre : Langage Pascal et logique du premier ordre Tome 1 : programmation en pascal-prédicats systèmes formels-fonctions récursives Type de document : texte imprimé Auteurs : Maurice Margenstern, Auteur Editeur : Masson Année de publication : 1989 Importance : 287p Présentation : ill Format : 24cmx16cm ISBN/ISSN/EAN : 978-2-225-81900-1 Langues : Français (fre) Langues originales : Français (fre) Catégories : Informatique:02 Logiciels et Programmation Mots-clés : le langage pascal(1) formalisations le langage pascal(2) simulations entre modèles . Logique Mathématiques Informatique. Langage Pascal et logique du premier ordre Tome 1 : programmation en pascal-prédicats systèmes formels-fonctions récursives [texte imprimé] / Maurice Margenstern, Auteur . - Masson, 1989 . - 287p : ill ; 24cmx16cm.
ISBN : 978-2-225-81900-1
Langues : Français (fre) Langues originales : Français (fre)
Catégories : Informatique:02 Logiciels et Programmation Mots-clés : le langage pascal(1) formalisations le langage pascal(2) simulations entre modèles . Réservation
Réserver ce document
Exemplaires(1)
Code-barres numéro d'inventaire Cote Support Localisation Section Disponibilité 62092 08-02-0649 Livre Bibliothèque IGCMO Documentaires Disponible
