SULJE VALIKKO

avaa valikko

Yves Bertot | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 4 tuotetta
Haluatko tarkentaa hakukriteerejä?



From Semantics to Computer Science: Essays in Honour of Gilles Kahn
Yves Bertot; Gerard Huet; Jean-Jacques Levy; Gordon Plotkin
Cambridge University Press (2009)
Kovakantinen kirja
133,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Interactive Theorem Proving and Program Development : Coq’Art: The Calculus of Inductive Constructions
Yves Bertot; Pierre Castéran
Springer (2004)
Kovakantinen kirja
107,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedi
Yves Bertot (ed.); Gilles Dowek (ed.); Andre Hirschowitz (ed.); Christine Paulin (ed.); Laurent Thery (ed.)
Springer (1999)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Interactive Theorem Proving and Program Development : Coq’Art: The Calculus of Inductive Constructions
Yves Bertot; Pierre Castéran
Springer (2010)
Pehmeäkantinen kirja
78,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
133,00 €
Cambridge University Press
Sivumäärä: 594 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 2009, 24.09.2009 (lisätietoa)
Kieli: Englanti
Gilles Kahn was one of the most influential figures in the development of computer science and information technology, not only in Europe but throughout the world. This volume of articles by several leading computer scientists serves as a fitting memorial to Kahn's achievements and reflects the broad range of subjects to which he contributed through his scientific research and his work at INRIA, the French National Institute for Research in Computer Science and Control. The authors also reflect upon the future of computing: how it will develop as a subject in itself and how it will affect other disciplines, from biology and medical informatics, to web and networks in general. Its breadth of coverage, topicality, originality and depth of contribution, make this book a stimulating read for all those interested in the future development of information technology.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa. | Tilaa jouluksi viimeistään 27.11.2024. Tuote ei välttämättä ehdi jouluksi.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
From Semantics to Computer Science: Essays in Honour of Gilles Kahnzoom
Näytä kaikki tuotetiedot
ISBN:
9780521518253
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste