FROM SEMANTICS TO COMPUTER SCIENCE (HB 2009)

BERTOT Y

ISBN 10: 0521518253 / ISBN 13: 9780521518253

Editore: CAMBRIDGE UNIVERSITY PRESS, 2009

Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability. Codice articolo cbs 9780521518253

Riassunto:

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

Informazioni sugli autori: 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.

Dati bibliografici

Titolo: FROM SEMANTICS TO COMPUTER SCIENCE (HB 2009)
Casa editrice: CAMBRIDGE UNIVERSITY PRESS
Data di pubblicazione: 2009
Legatura: Rilegato
Condizione: New Books
Edizione: Edizione Internazionale