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

 
9780521518253: From Semantics to Computer Science: Essays in Honour of Gilles Kahn
Hardcover
ISBN 10: 0521518253 ISBN 13: 9780521518253
Verlag: Cambridge University Press, 2009

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorinnen und Autoren

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 Castéran) of Coq'Art: The Calculus of Inductive Constructions (2004).

Gérard Huet is a Director of Research at the French National Institute for Research in Computer Science and Control (INRIA), Rocquencourt.

Jean-Jacques Lévy is a Director of Research at the French National Institute for Research in Computer Science and Control (INRIA), Rocquencourt.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Cambridge University Press
Erscheinungsdatum
2009
Sprache
Englisch
ISBN 10 
0521518253
ISBN 13 
9780521518253
Einband
Gebundene Ausgabe
Auflage
1
Anzahl der Seiten
596
Herausgeber
Bertot Yves, Huet Gérard, Lévy Jean-Jacques
Kontakt zum Hersteller
preigu GmbH & Co. KG
mail@preigu.de

Lengericher Landstr. 19
Osnabrück
Niedersachsen
49078
Deutschland