Track Order   | Customer Support   | Request Book   |
International Order
The Calculus Of Computation Decision Procedures With Applications To Verification 2010 Edition at Meripustak

The Calculus Of Computation Decision Procedures With Applications To Verification 2010 Edition

Books from same Author: Aaron R. Bradley Zohar Manna

Books from same Publisher: Springer

Related Category: Author List / Publisher List

  • Retail Price: ₹ 5516/- [ 0.00% off ]

    Seller Price: ₹ 5516

Sold By: T K Pandey      Click for Bulk Order

Offer 1: Get ₹ 111 extra discount on minimum ₹ 500 [Use Code: Bharat]

Offer 2: Get 0.00 % + Flat ₹ 100 discount on shopping of ₹ 1500 [Use Code: IND100]

Offer 3: Get 0.00 % + Flat ₹ 300 discount on shopping of ₹ 5000 [Use Code: MPSTK300]

Free Shipping (for orders above ₹ 499) *T&C apply.

In Stock

Free Shipping Available


Click for International Orders
  • Provide Fastest Delivery
  • 100% Original Guaranteed
    • General Information  
    Author(s)Aaron R. Bradley Zohar Manna
    PublisherSpringer
    ISBN9783642093470
    Pages366
    BindingPaperback
    LanguageEnglish
    Publish YearOctober 2010

    Description

    Springer The Calculus Of Computation Decision Procedures With Applications To Verification 2010 Edition by Aaron R. Bradley Zohar Manna

    Written with graduate and advanced undergraduate students in mind this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic data structures and combination theories. The textbook also presents a logical approach to engineering correct software. Verification exercises are given to develop the reader's facility in specifying and verifying software using logic. The treatment of verification concludes with an introduction to the static analysis of software an important component of modern verification systems. The final chapter outlines courses of further study. Table of contents : Foundations.- Propositional Logic.- First-Order Logic.- First-Order Theories.- Induction.- Program Correctness: Mechanics.- Program Correctness: Strategies.- Algorithmic Reasoning.- Quantified Linear Arithmetic.- Quantifier-Free Linear Arithmetic.- Quantifier-Free Equality and Data Structures.- Combining Decision Procedures.- Arrays.- Invariant Generation.- Further Reading.