ISBN 9780511770524 is currently unpriced. Please contact us for pricing.
Available options are listed below:
Available options are listed below:
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
| PUBLISHER | Cambridge University Press (08/06/2010) |
| PRODUCT TYPE | eBook (Open Ebook) |
Description
Show More
Product Format
Product Details
ISBN-13:
9780511770524
ISBN-10:
0511770529
Content Language:
English
More Product Details
Carton Quantity:
0
Feature Codes:
Price on Product,
Maps
Country of Origin:
US
Subject Information
BISAC Categories
Computers | Languages - General
Computers | Computer Science
Dewey Decimal:
004
Descriptions, Reviews, Etc.
Editor:
Bertot, Yves
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).
Show More