The Calculus of Computation : Decision Procedures with Applications to Verification | Aaron R Bradley | 1st Edition | New Age Publication ( English Medium )

468-599

BUY AT INSTAMOJO

[Shipping Cost = Standard Mode, Expedite Mode]

The Calculus of Computation : Decision Procedures with Applications to Verification | Aaron R Bradley | 1st Edition | New Age Publication ( English Medium )

"The Calculus of Computation: Decision Procedures with Applications to Verification" by Aaron R. Bradley is a comprehensive guide to understanding the principles and applications of decision procedures in computer science. This 1st edition book published by New Age Publication in English medium provides a detailed insight into the theoretical foundations and practical implications of computation. The book begins by introducing the fundamental concepts of computation, including formal languages, automata theory, and complexity theory. It then delves into decision procedures, which are algorithms used to determine the truth or falsehood of mathematical statements. The author explains how decision procedures can be applied to various areas of computer science, such as program verification, model checking, and theorem proving. One of the key strengths of this book is its emphasis on practical applications. The author provides numerous examples and case studies to illustrate how decision procedures can be used to solve real-world problems. From verifying the correctness of software programs to analyzing the behavior of complex systems, this book equips readers with the knowledge and skills needed to tackle a wide range of computational challenges. In addition to its practical focus, "The Calculus of Computation" also offers a rigorous treatment of the underlying theory. The author presents formal proofs and mathematical derivations to support the concepts discussed in the book. This balance between theory and practice makes it an invaluable resource for students, researchers, and practitioners in the field of computer science. Overall, "The Calculus of Computation: Decision Procedures with Applications to Verification" is a must-read for anyone interested in understanding the mathematical foundations of computation. With its clear explanations, practical examples, and comprehensive coverage of decision procedures, this book is sure to become a valuable reference for years to come.

Search Keywords - The Calculus of Computation book, Decision procedures in computer science, Aaron R. Bradley books, New Age Publication books, Computation theory, Program verification algorithms, Model checking in computer science, Theorem proving techniques, Formal languages and automata theory, Complexity theory in computation, Practical applications of decision procedures, Real-world computational problems, Software program correctness, Analyzing complex systems, Mathematical proofs in computation, Computational challenges, Computer science textbooks, Computational theory and practice, Applications of decision procedures, Mathematical foundations of computation.

Product Details

SKU / BOOK Code:	NewAge-Calculus-Comp(E)
Publisher:	New Age International Publishers
Author:	Aaron R Bradley
Binding Type:	Paperback
No. of Pages:	384
ISBN-10:	81-8489-396-0
ISBN-13:	978-81-8489-396-0
Edition:	1st Edition
Language:	English Medium
Publish Year:	2026-07
Weight (g):	300
Product Condition:	New
Reading Age:	Above 18 Years
Country of Origin:	India
Genre:	Textbooks & Study Guides
Manufacturer:	New Age International Publishers
Importer:	New Age International Publishers
Packer:	Fullfilled by Supplier

Product Description

The Calculus of Computation : Decision Procedures with Applications to Verification | Aaron R Bradley | 1st Edition | New Age Publication ( English Medium )

"The Calculus of Computation: Decision Procedures with Applications to Verification" by Aaron R. Bradley is a comprehensive guide to understanding the principles and applications of decision procedures in computer science. This 1st edition book published by New Age Publication in English medium provides a detailed insight into the theoretical foundations and practical implications of computation. The book begins by introducing the fundamental concepts of computation, including formal languages, automata theory, and complexity theory. It then delves into decision procedures, which are algorithms used to determine the truth or falsehood of mathematical statements. The author explains how decision procedures can be applied to various areas of computer science, such as program verification, model checking, and theorem proving. One of the key strengths of this book is its emphasis on practical applications. The author provides numerous examples and case studies to illustrate how decision procedures can be used to solve real-world problems. From verifying the correctness of software programs to analyzing the behavior of complex systems, this book equips readers with the knowledge and skills needed to tackle a wide range of computational challenges. In addition to its practical focus, "The Calculus of Computation" also offers a rigorous treatment of the underlying theory. The author presents formal proofs and mathematical derivations to support the concepts discussed in the book. This balance between theory and practice makes it an invaluable resource for students, researchers, and practitioners in the field of computer science. Overall, "The Calculus of Computation: Decision Procedures with Applications to Verification" is a must-read for anyone interested in understanding the mathematical foundations of computation. With its clear explanations, practical examples, and comprehensive coverage of decision procedures, this book is sure to become a valuable reference for years to come.

Search Keywords - The Calculus of Computation book, Decision procedures in computer science, Aaron R. Bradley books, New Age Publication books, Computation theory, Program verification algorithms, Model checking in computer science, Theorem proving techniques, Formal languages and automata theory, Complexity theory in computation, Practical applications of decision procedures, Real-world computational problems, Software program correctness, Analyzing complex systems, Mathematical proofs in computation, Computational challenges, Computer science textbooks, Computational theory and practice, Applications of decision procedures, Mathematical foundations of computation.

Easy Return and Delivery Policy

Since EXAM360 SHOP (Open Store) is capable to deliver all Indian Pin-codes which covers 1.55 Lakhs Pin-codes throughout India. While adding any item to cart / purchasing anything through this website, users are requested to enter the valid address with Name, C/O, House Name/No., Area / Locality, City, District, Landmark, State, Pin-code, Mobile No, Email carefully. If any issues occurred due to invalid / incomplete address in such cases EXAM360 will not take any responsibility for the losses or damages.

We practice Easy Return / Exchange / Refund policy for Buyer Protection, So if you experience any difficulties like (Wrong Item delivered) with any of the product received, you can raise request under Return / Exchange Policy through the EXAM360 Customer support Portal i.e. https://support.exam360.in/ with valid details. Once our executive validate the case properly, we will take necessary steps as per the Policy Standard & we will be more than happy to help you to solve your issues ASAP.

While receiving the item from any of our courier partner, users are requested to check the packaging item properly, If you feel the item is delivering by the logistic partners in tampering conditions, we request our buyers not to accept the product & instantly make a call to the below mentioned HELPLINE Numbers. And, If you purchased an item that was not satisfactory, in such cases we will issue Return / Refund as per the current policy guidelines.

Selling Price & Shipping Fee: In Product details page we have clearly mentioned the Selling Price & Shipping Fees separately, So, when you click on "BUY NOW" You will be charges Selling Price + Shipping Fees. The Shipping fees may different for each products depends on the weight of the Product. The shipping cost includes the courier charges, packaging charges, transport charges, fuel charges and other charges. Sometimes the total payable amount may be different for Instamojo Payment Gateway. Buyers are requested to check before purchasing the products. After making the purchase we may not allow or consider users to modify.
- For more information about return policy CLICK HERE
- If you have questions about the product, please contact our dedicated Customer Support Team at ECG Portal.

Delivery Information

EXAM360 SHOP is capable to deliver All India Pin-codes by the govt. recognised courier partners with full security.
Generally the courier partner support delivery during business hours (9:00 - 20:00) Mon - Sat: Fedex, Trackon, Gati, Delhivery, Indian Post.

The actual delivery time may differ from the given Estimated timeline. For more information on delivery time and shipping charges, please refer to our dedicated support team through ECG Portal.

Note: Expected Delivery time may differ from the Estimated or Projected delivery time & it does not include holidays.