Langage Pascal et logique du premier ordre Tome 2 / Maurice Margenstern (1989)

Public ISBD Titre : Langage Pascal et logique du premier ordre Tome 2 : recurcivite et derecursification preuves et complexite d'algorithmes Type de document : texte imprime Auteurs : Maurice Margenstern Editeur : Paris : Masson Année de publication : 1989 Collection : Logique mathématiques informatique Importance : 288 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-225-81953-7 Note générale : Bibliogr. Index Langues : Français Mots-clés : Pascal  Logique  Récursivité  Dérécursification  Algorithmes  Complexité Index. décimale : 005.133 Langages de programmation spécifiques Permalink : ./index.php?lvl=notice_display&id=11899 Langage Pascal et logique du premier ordre Tome 2 : recurcivite et derecursification preuves et complexite d'algorithmes [texte imprime] / Maurice Margenstern . - Paris : Masson, 1989 . - 288 p. : ill. ; 24 cm. - (Logique mathématiques informatique) . ISBN : 978-2-225-81953-7 Bibliogr. Index Langues : Français Mots-clés : Pascal  Logique  Récursivité  Dérécursification  Algorithmes  Complexité Index. décimale : 005.133 Langages de programmation spécifiques Permalink : ./index.php?lvl=notice_display&id=11899

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
IA384/T2/1	IA384/T2	Livre	Magasin d'Ouvrages / FGE	Informatique et automatique	Consultation sur place Exclu du prêt
IA384/T2/2	IA384/T2	Livre	Magasin d'Ouvrages / FGE	Informatique et automatique	Disponible
L57/T2/1	L57/T2	Livre	Magasin d'Ouvrages / INF	Langage	Consultation sur place Exclu du prêt

Aucun avis, veuillez vous identifier pour ajouter le vôtre !

Langage Pascal et logique du premier ordreTome 1 / Maurice Margenstern (1989)

Public ISBD Titre : Langage Pascal et logique du premier ordreTome 1 : programmation en Pascal - prédicats -systémes formels - fonctions récursives Type de document : texte imprime Auteurs : Maurice Margenstern Editeur : Paris : Masson Année de publication : 1989 Collection : Logique mathématiques informatique Importance : 287 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-225-81900-1 Note générale : Bibliogr. Index Langues : Français Mots-clés : Padcal  Logique  Récursivité  Dérécursification  Algorithmes  Complexité Index. décimale : 005.133 Langages de programmation spécifiques Permalink : ./index.php?lvl=notice_display&id=11900 Langage Pascal et logique du premier ordreTome 1 : programmation en Pascal - prédicats -systémes formels - fonctions récursives [texte imprime] / Maurice Margenstern . - Paris : Masson, 1989 . - 287 p. : ill. ; 24 cm. - (Logique mathématiques informatique) . ISBN : 978-2-225-81900-1 Bibliogr. Index Langues : Français Mots-clés : Padcal  Logique  Récursivité  Dérécursification  Algorithmes  Complexité Index. décimale : 005.133 Langages de programmation spécifiques Permalink : ./index.php?lvl=notice_display&id=11900

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
IA384/T1/1	IA384/T1	Livre	Magasin d'Ouvrages / FGE	Informatique et automatique	Consultation sur place Exclu du prêt
L57/T1/1	L57/T1	Livre	Magasin d'Ouvrages / INF	Langage	Consultation sur place Exclu du prêt

Aucun avis, veuillez vous identifier pour ajouter le vôtre !

---

page 1/1