-52% OFFComputers & Internet
Computation and Reasoning - A Type Theory for Computer Science (English, Zhaohui Luo | Zhaohui Luo)
₹4,079₹8,508Save 52%
Inclusive of all applicable taxes. Free shipping on orders above ₹499, else ₹49 flat.
Quantity:
1
Free DeliveryOn orders above ₹499
15-Day ReturnEasy returns
Verified ListingQuality-checked
Available Offers
- 🚚Free Delivery — Free on orders above ₹499, else ₹49 flat
- 💵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
Specifications
| Publisher | OUP Oxford |
| Language | English |
| ISBN-13 | 9780198538356 |
| ISBN-10 | 0198538359 |
| Author | Zhaohui Luo | Zhaohui Luo |
Product Description
Here on GlowMirror, you'll find Computation and Reasoning - A Type Theory for Computer Science filed under Computers & Internet -- everything you need to know is covered below.
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
Book Insights
What You'll Learn
- ·Fundamental and advanced concepts in Computation and Reasoning - A Type Theory for Computer Science
- ·Code examples, algorithms, and implementation patterns
- ·Best practices and industry-relevant skills
Who Should Read This
Software developers, IT professionals, computer science students, and tech enthusiasts.
Key Highlights
- ·Brand new physical book delivered across India
- ·15-day hassle-free return policy
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 is available at ₹4,079 on GlowMirror. The original MRP is ₹8,508, saving you 52%.
Does GlowMirror offer free delivery for Computation and Reasoning - A Type Theory for Computer Science?
GlowMirror offers free delivery on orders above ₹499. For Computation and Reasoning - A Type Theory for Computer Science priced at ₹4,079, you qualify for free shipping.
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 across India. Pay conveniently when your order arrives.
What is the return policy for Computation and Reasoning - A Type Theory for Computer Science?
GlowMirror offers a 15-day hassle-free return policy for Computation and Reasoning - A Type Theory for Computer Science. Returns are free of charge. Contact us at info@glowmirror.in or call +91 99446 78357 to initiate a return.
Is Computation and Reasoning - A Type Theory for Computer Science available in English?
Computation and Reasoning - A Type Theory for Computer Science is available in English on GlowMirror.
Who is the author of Computation and Reasoning - A Type Theory for Computer Science?
Computation and Reasoning - A Type Theory for Computer Science is authored by Zhaohui Luo | Zhaohui Luo.
Who published Computation and Reasoning - A Type Theory for Computer Science?
Computation and Reasoning - A Type Theory for Computer Science is published by OUP Oxford.
How many pages does Computation and Reasoning - A Type Theory for Computer Science have?
Page count information for Computation and Reasoning - A Type Theory for Computer Science is available in the specifications section of this page.
How long does it take to read Computation and Reasoning - A Type Theory for Computer Science?
At an average reading speed of 250 words per minute, reading Computation and Reasoning - A Type Theory for Computer Science takes a few hours to a few days depending on reading pace.
What is Computation and Reasoning - A Type Theory for Computer Science about?
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...
Is Computation and Reasoning - A Type Theory for Computer Science suitable for beginners?
Whether Computation and Reasoning - A Type Theory for Computer Science is suitable for beginners depends on your background in Computers & Internet. Review the product description and specifications above for details on the target audience and difficulty level.
What edition is Computation and Reasoning - A Type Theory for Computer Science?
Computation and Reasoning - A Type Theory for Computer Science is from the OUP Oxford edition/year. Check the specifications section for full edition details.
How do I order Computation and Reasoning - A Type Theory for Computer Science on GlowMirror?
To order Computation and Reasoning - A Type Theory for Computer Science on GlowMirror, click the "Add to Cart" button on this page, proceed to checkout, and choose your preferred payment method — online payment or Cash on Delivery. Delivery takes 2–7 business days across India.
Is Computation and Reasoning - A Type Theory for Computer Science a new or used book?
Computation and Reasoning - A Type Theory for Computer Science listed on GlowMirror is a brand new book in good condition.
Can I get Computation and Reasoning - A Type Theory for Computer Science delivered across India?
Yes, GlowMirror delivers Computation and Reasoning - A Type Theory for Computer Science across India. Use the pincode checker on this page to verify delivery availability to your location.
![Practical Hacking Techniques and Countermeasures [With CDROM] (English, Mark D. Spivey)](/_next/image?url=https%3A%2F%2Fglowmirror.in%2Fimages%2Fproducts%2F9780849370571.webp&w=3840&q=75)
