Pastāsti draugiem par šo preci:
From Semantics to Computer Science: Essays in Honour of Gilles Kahn Yves Bertot
Cena
€ 153,99
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 9. - 23. okt.
Saņemiet paziņojumus par jauniem Yves Bertot izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
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
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2009. gada 24. septembris |
| ISBN13 | 9780521518253 |
| Izdevēji | Cambridge University Press |
| Lapas | 594 |
| Izmēri | 180 × 254 × 30 mm · 1,27 kg (Svars (aptuveni)) |
| Valoda | Angļu |
| Redaktors | Bertot, Yves |
| Redaktors | Huet, Gerard (Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt) |
| Redaktors | Levy, Jean-Jacques (Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt) |
| Redaktors | 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)
