Monographie
Interactive models of computation and program behavior
Curien, Pierre-Louis ; Herbelin, Hugo ; Krivine, Jean-Louis ; Melliès, Paul-André
2009
xvi, 275 p.
978-2-85629-273-0
M/A31(27)
démonstration ; réalisabilité ; machine abstraite ; logique linéaire ; sémantique des jeux
Bibliothèque de l'IECL
IECL
Class. Mathématique : 03F05 ; 03F52 ; 68Q55 ; 03B40 ; 03B70 ; 03G30 ; 68N18 ; 68N20
Pays d'édition : France
Ville d'édition : Paris
Format : 24 cm
Illustrations : Fig.
Collection : Panoramas et synthèses
N° de collection : 027
Bibliographie : Notes bibliographiques
Exemplaires
Nbre d'exemplaires : 1| N° | Cote / Code barre | Localisation | Commentaire | |
|---|---|---|---|---|
| 1 | M/A31(27) MAT018746 |
SMF [disponible] |
YRéserver |