Computation and Reasoning - A Type Theory for Computer Science (English, Zhaohui Luo | Zhaohui Luo)
Delivery options
₹8,508
100% Genuine Book · Verified Seller
Free Shipping · Ships Today💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹8,508
Book Details
Publisher
OUP Oxford
Language
English
ISBN-13
9780198538356
ISBN-10
0198538359
Author
Zhaohui Luo | Zhaohui Luo
About the Book
This book develops a type theory, studies its properties, and explains its uses in computer science. The book focuses in particular on how the study of type theory may offer a powerful and uniform language for programming, program specification and development, and logical reasoning. The type theory developed here reflects a conceptual distinction between logical propositions and computational data types. Starting from an introduction of the basi…
ISBN: 9780198538356
ISBN-13: 9780198538356
ISBN-10: 0198538359
Frequently Asked Questions
What is the price of Computation and Reasoning - A Type Theory for Computer Science?
Computation and Reasoning - A Type Theory for Computer Science starts from ₹8508 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Computation and Reasoning - A Type Theory for Computer Science?
Zhaohui Luo | Zhaohui Luo is the author of Computation and Reasoning - A Type Theory for Computer Science. Browse more books by Zhaohui Luo | Zhaohui Luo on BookBajar.
Is Computation and Reasoning - A Type Theory for Computer Science available in Paperback and Hardcover?
Yes, Computation and Reasoning - A Type Theory for Computer Science is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Computation and Reasoning - A Type Theory for Computer Science?
Yes, BookBajar offers free delivery for Computation and Reasoning - A Type Theory for Computer Science across India. No minimum order value required.
Is Cash on Delivery available for Computation and Reasoning - A Type Theory for Computer Science?
Yes, Cash on Delivery (COD) is available for Computation and Reasoning - A Type Theory for Computer Science on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9780198538356
🛒 Customers Also Bought
Die Zukunft Der Führung (English, Sven Grote)
₹18,979
Impulsschaltungen (English, Ambros P. Speiser)
₹4,170
Elastizität Und Festigkeit Im Rohrleitungsbau (English, Helmut Von Jürgensonn)
₹5,394
Die Technik Und Der Krieg (English, G. Roessler)
₹5,904
Kaiser Wilhelm. Sein Leben Und Seine Zeit. 1797-1888 (English, Wilhelm Müller)
₹5,954
Karriereplanung Für Juristen (English, Verena S. Rottmann)
₹2,078Related Products
Die Grossglockner-Hochalpenstrasse (English, Franz Wallack)
₹5,055
Analysis III (English, Godement)
₹2,495
The Data Center as a Computer (English, Luiz André Barroso | Urs Hölzle | Parthasarathy Ranganathan)
₹5,095
Problem-Solving Methods in Combinatorics (English, Pablo Soberón)
₹4,211
Beobachtungssprache, Theoretische Sprache Und Die Partielle Deutung Von Theorien (English, Wolfgang Stegmüller)
₹1,524