Recomienda este artículo a tus amigos:
From Semantics to Computer Science: Essays in Honour of Gilles Kahn Yves Bertot
Precio
$ 157,49
sin IVA
Pedido desde almacén remoto
Entrega prevista 19 de jun. - 8 de jul.
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
Yves Bertot
This volume of articles by leading computer scientists emphasises the achievements of Gilles Kahn, and examines the significance of his contributions to computer science. The authors also reflect upon the future development of information technology and the ways in which it will continue to affect other scientific disciplines.
594 pages, 7 b/w illus. 4 tables
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 24 de septiembre de 2009 |
| ISBN13 | 9780521518253 |
| Editores | Cambridge University Press |
| Páginas | 594 |
| Dimensiones | 180 × 254 × 30 mm · 1,27 kg (Peso (estimado)) |
| Lengua | Inglés |
| Editor | Bertot, Yves |
| Editor | Huet, Gerard (Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt) |
| Editor | Levy, Jean-Jacques (Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt) |
| Editor | Plotkin, Gordon (University of Edinburgh) |
Mas por Yves Bertot
Mostrar todo![Cover for Yves Bertot · Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions - Texts in Theoretical Computer Science. An EATCS Series (Hardcover Book) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/549/9783540208549.jpg?yves-bertot-2004-interactive-theorem-proving-and-program-development-coq-art-the-calculus-of-inductive-constructions-texts-in-theoretical-computer-science-an-eatcs-series-hardcover-book&class=scaled&v=1520597417)
Mere med samme udgiver
![Cover for Jackson, Robert J. (University of Redlands, California) · Global Politics in the 21st Century: War in Peacetime (Paperback Book) [2 Revised edition] (2026)](https://imusic.b-cdn.net/images/item/original/882/9781009114882.jpg?jackson-robert-j-university-of-redlands-california-2026-global-politics-in-the-21st-century-war-in-peacetime-paperback-book&class=scaled&v=1778756904)
![Cover for Chen, Cher Weixia (George Mason University, Virginia) · International Human Rights International Human Rights: A Survey (Paperback Book) [2 Revised edition] (2026)](https://imusic.b-cdn.net/images/item/original/013/9781009855013.jpg?chen-cher-weixia-george-mason-university-virginia-2026-international-human-rights-international-human-rights-a-survey-paperback-book&class=scaled&v=1779708744)
Ver todo de Yves Bertot ( Ej. Paperback Book y Hardcover Book )