Lambda-calcul, types et modLles / Jean-Louis Krivine
Lambda-calcul, types et modLles [texte imprimé] / Jean-Louis Krivine, Auteur . - Nouv. Ød. . - PARIS : MASSON, 1998 . - 184 p. ; 24 x 16 cm. ISBN : 978-2-225-82091-5 : 42.5 EUR Langues : Français (fre)
|
Réservation
Réserver ce documentExemplaires (2)
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
E010886 | E000-004-41/ 01 | Livre | قاعة العلوم والتكنولوجيا والطب والعلوم الطبيعة والحياة | 004 Informatique, traitement des données | Disponible |
E010885 | E000-004-41/ 02 | Livre | قاعة العلوم والتكنولوجيا والطب والعلوم الطبيعة والحياة | 004 Informatique, traitement des données | Disponible |