Produktbild
Yves (Hrsg.) Bertot

From Semantics to Computer Science: Essays in Honour of Gilles Kahn

Buch

Examines the significance of Gilles Kahn's contribution to computer science and reflects upon the future development of information technology.

CHF 144.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Huet, Gérard (Hrsg.) / Lévy, Jean-Jacques (Hrsg.)
  • ISBN: 978-0-521-51825-3
  • EAN: 9780521518253
  • Produktnummer: 5539076
  • Verlag: Cambridge
  • Sprache: Englisch
  • Erscheinungsjahr: 2009
  • Seitenangabe: 574 S.
  • Masse: H24.9 cm x B17.5 cm x D3.0 cm 1'315 g
  • Gewicht: 1315

Über den Autor


Yves Bertot is a Senior Researcher and Project Leader at the French National Institute for Research in Computer Science and Control (INRIA), Sophia Antipolis. Born in 1964, he received his Ph.D. from the University of Nice in 1991 and is co-author (with Pierre Casteran) of Coq'Art: The Calculus of Inductive Constructions (2004). Gerard Huet is a Director of Research at the French National Institute for Research in Computer Science and Control (INRIA), Rocquencourt. Jean-Jacques Levy is a Director of Research at the French National Institute for Research in Computer Science and Control (INRIA), Rocquencourt. Gordon Plotkin is a Professor in the School of Informatics at the University of Edinburgh.

3 weitere Werke von Yves (Hrsg.) Bertot:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.