Conte aos seus amigos sobre este item:
From Semantics to Computer Science: Essays in Honour of Gilles Kahn Yves Bertot
Preço
R$ 846,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 30 de set - 12 de out
Receba avisos sobre novos lançamentos de Yves Bertot
O que dizem nossos clientes:
Adicione à sua lista de desejos do 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
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 24 de setembro de 2009 |
| ISBN13 | 9780521518253 |
| Editoras | Cambridge University Press |
| Páginas | 594 |
| Dimensões | 180 × 254 × 30 mm · 1,27 kg (Peso (estimado)) |
| Idioma | 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) |
![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)
