Programming
From Semantics to Computer Science | by Yves Bertot | Gérard Huet | Jean-Jacques Lévy | Cambridge University Press | English | 1st Edition
₹4,169
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Genuine BookPhysical copy only
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Product Description
About This Book
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
About the Author
From Semantics to Computer Science is authored by Yves Bertot | Gérard Huet | Jean-Jacques Lévy.
Product description Book Description Examines the significance of Gilles Kahn's contribution to computer science and reflects upon the future development of information technology. About the Author 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.
Book Highlights
✓Published by Cambridge University Press
✓Language: English
✓Publication date: 24 September 2009
✓Edition: 1st
✓Category: Programming & Software Development > Languages
✓Dimensions: 18.42 x 2.54 x 24.77 cm
✓Weight: 1 kg 50 g
✓FREE shipping on all BookShops.in orders
✓15-day hassle-free return policy
✓Cash on Delivery (COD) available across India
✓100% genuine physical book — not an eBook or PDF
Book Specifications
| ISBN-13 | 9780521518253 |
| ISBN-10 | 0521518253 |
| Publisher | Cambridge University Press |
| Language | English |
| Dimensions | 18.42 x 2.54 x 24.77 cm |
| Weight | 1 kg 50 g |
| Country | India |
| Category | Programming & Software Development › Languages |
| author | Yves Bertot | Gérard Huet | Jean-Jacques Lévy |
Frequently Asked Questions
What is the price of From Semantics to Computer Science?
From Semantics to Computer Science is available at ₹4,169 on BookShops.in.
Does BookShops.in offer free delivery for From Semantics to Computer Science?
FREE delivery on all orders for From Semantics to Computer Science.
Is Cash on Delivery available for From Semantics to Computer Science?
Yes, Cash on Delivery (COD) is available for From Semantics to Computer Science on BookShops.in. Pay when your order arrives.
What is the return policy for From Semantics to Computer Science?
BookShops.in offers a 15-day hassle-free return policy for From Semantics to Computer Science. Contact us at support@bookshops.in or call +91 95575 56855.
Is From Semantics to Computer Science authentic?
From Semantics to Computer Science is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Customers Also Bought
Programming
Algorithms -- ESA 2004 | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer
₹4,497
Programming
Design of the UNIX Operating System: United States Edition | by Maurice Bach | Pearson College Div | English | 1st Edition
₹4,726
Programming
Data Structures and Other Objects Using Java | by Michael Main | Pearson | English | 4th Edition
₹2,750
Networking
Introduction to Networks Companion Guide | by Cisco Networking Academy | Cisco Systems | English | 1st Edition
₹4,819
Programming
A Tour of C++ | by Bjarne Stroustrup | Addison-Wesley Professional | English | 3rd Edition
₹2,223
Programming
Programming In C 2/E | by Pradip Dey, amp; Manas Ghosh | Oxford | English | Second Edition
₹998
Related Products
View AllProgramming
Programming In C 2/E | by Pradip Dey, amp; Manas Ghosh | Oxford | English | Second Edition
₹998
Programming
Algorithms -- ESA 2004 | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer
₹4,497
Programming
Design of the UNIX Operating System: United States Edition | by Maurice Bach | Pearson College Div | English | 1st Edition
₹4,726
Programming
Data Structures and Other Objects Using Java | by Michael Main | Pearson | English | 4th Edition
₹2,750
Programming
A Tour of C++ | by Bjarne Stroustrup | Addison-Wesley Professional | English | 3rd Edition
₹2,223
Programming
The Scheme Programming Language | by R. Kent Dybvig | Mit Pr | English | 4th Edition
₹5,294