Interactive models of computation and program behavior [monographie] Titre d'origine: Modèles interactifs de calcul et de comportement de programme |
| Auteur(s): | Curien, Pierre-Louis Melliès, Paul-André Herbelin, Hugo Krivine, Jean-Louis |
| Langue: | anglais |
| Collection: | Panoramas et synthèses (SMF), n° 27 |
| Editeur, date d'édition: | Société Mathématique de France, 2009 |
| Ville(s) d'édition: | Paris (FR) |
| ISBN: | 978-2-85629-273-0 |
| ISSN: | 1272-3835 |
| Classification MSC: | 03F05 |
| Notes: | xvi ; notes bibliogr. ; 24 cm (Textes en anglais, résumés en anglais et en français) ; 275 p. |
| Thèmes: | realisabilite, theorie de la demonstration, machines abstraites, logique lineaire, semantique des jeux |
| Localisation: | Ouvrage localisé fonds recherche - Cote Sa 2/2 |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 CUR 09 | Exclu du pret |