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

Yves Bertot, Jean-Jacques Lévy, Gordon Plotkin et Gérard Huet

ISBN 10: 0521518253 / ISBN 13: 9780521518253

Published by Cambridge University Press, 2009

Ancien livre de bibliothèque. Edition 2009. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2009. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-832-496

Synopsis:

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 editors 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.

About the Authors: 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.

Gordon Plotkin is a Professor in the School of Informatics at the University of Edinburgh.

Bibliographic Details

Title: From Semantics to Computer Science: Essays ...
Publisher: Cambridge University Press
Publication Date: 2009
Binding: Hardcover
Condition: Très bon