Computation and Reasoning - A Type Theory for Computer Science (English, Zhaohui Luo | Zhaohui Luo)
Delivery options
₹4,079-52%
MRP:₹8,508Save ₹4,429
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Dispatched in 1–2 business days. Most orders delivered in 3–12 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
52% Off — you save ₹4,429 on this product!
Total: ₹4,079
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 ₹4813 at GlowMirror. Available in Paperback.
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 GlowMirror.
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 GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Computation and Reasoning - A Type Theory for Computer Science?
Yes, GlowMirror 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 GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9780198538356
🛒 Customers Also Bought
Das Karpaltunnelsyndrom (English, Udo A. Zifko | Artur P. Worseg)
₹3,508
Paläoanthropologie (English, Winfried Henke | Hartmut Rothe)
₹4,601
Topological Model Theory (English, Jörg Flum | Martin Ziegler)
₹2,685
Moderne Suggestionsverfahren (English, Bernhard J. M. Diehl | Theres Miller)
₹3,508
Radioanalytical Chemistry (English, Bernd Kahn)
₹5,732
Digitale Hardware/Software-Systeme (English, Jürgen Teich | Christian Haubelt)
₹2,779Related Products
Phylogenetische Systematik (English, Bernhard Wiesemüller | Hartmut Rothe | Winfried Henke)
₹3,143
User-Centered Agile Methods (English, Hugh Beyer)
₹2,143
Prozessmanagement Individuell Umgesetzt (English, Eva-Maria Kern)
₹5,694
Aggression, Selbstaggression, Familie Und Gesellschaft (English, Walter Pöldinger | Wolfgang Wagner)
₹5,959
Der Große Atemzug Fürs Kind (English, Elsbeth V. Staehr)
₹5,674