The Calculus of Computation: Decision Procedures with Applications to Verification

Bradley, Aaron R. R.; Manna, Zohar

  • 3.87 out of 5 stars
    15 ratings by Goodreads
ISBN 10: 3642093477 ISBN 13: 9783642093470
Published by Springer, 2010
New Soft cover

From Ria Christie Collections, Uxbridge, United Kingdom Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

AbeBooks Seller since March 25, 2015

This specific item is no longer available.

About this Item

Description:

In. Seller Inventory # ria9783642093470_new

  • 3.87 out of 5 stars
    15 ratings by Goodreads

Report this item

Synopsis:

Computational logic is a fast-growing field. 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 as an application of computational logic. The increasing ubiquity of computers makes implementing correct systems more important than ever. Verification exercises 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. For readers interested in learning more about computational logic, decision procedures, verification, and other areas of formal methods, the final chapter outlines courses of further study.

From the Back Cover:

Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. 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.

This textbook also presents a logical approach to engineering correct software. The increasing ubiquity of computers makes implementing correct systems more important than ever. Verification exercises 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.

For readers interested in learning more about computational logic, decision procedures, verification, and other areas of formal methods, the final chapter outlines courses of further study.

"About this title" may belong to another edition of this title.

Bibliographic Details

Title: The Calculus of Computation: Decision ...
Publisher: Springer
Publication Date: 2010
Binding: Soft cover
Condition: New

Top Search Results from the AbeBooks Marketplace

Stock Image

Bradley, Aaron R., Manna, Zohar
Published by Springer Berlin / Heidelberg, 2010
ISBN 10: 3642093477 ISBN 13: 9783642093470
Used Softcover

Seller: Better World Books Ltd, Dunfermline, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Very Good. Ships from the UK. Used book that is in excellent condition. May show signs of wear or have minor defects. Seller Inventory # 50994677-20

Contact seller

Buy Used

US$ 49.93
Convert currency
Shipping: US$ 10.84
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Aaron R. Bradley|Zohar Manna
Published by Springer Berlin Heidelberg, 2010
ISBN 10: 3642093477 ISBN 13: 9783642093470
New Softcover
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Presents a logical approach to engineering correct software as an application of computational logic Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-. Seller Inventory # 5048362

Contact seller

Buy New

US$ 56.13
Convert currency
Shipping: US$ 56.52
From Germany to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Bradley, Aaron R. R.; Manna, Zohar
Published by Springer, 2010
ISBN 10: 3642093477 ISBN 13: 9783642093470
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Mar3113020217746

Contact seller

Buy New

US$ 59.54
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Bradley, Aaron R.; Manna, Zohar
Published by Springer, 2010
ISBN 10: 3642093477 ISBN 13: 9783642093470
New Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 11985527-n

Contact seller

Buy New

US$ 60.88
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Zohar Manna
Published by Springer Berlin Heidelberg, 2010
ISBN 10: 3642093477 ISBN 13: 9783642093470
New Taschenbuch

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. 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.This textbook also presents a logical approach to engineering correct software. The increasing ubiquity of computers makes implementing correct systems more important than ever. Verification exercises 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.For readers interested in learning more about computational logic, decision procedures, verification, and other areas of formal methods, the final chapter outlines courses of further study. Seller Inventory # 9783642093470

Contact seller

Buy New

US$ 63.56
Convert currency
Shipping: US$ 35.65
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Zohar Manna
ISBN 10: 3642093477 ISBN 13: 9783642093470
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 384 pp. Englisch. Seller Inventory # 9783642093470

Contact seller

Buy New

US$ 63.56
Convert currency
Shipping: US$ 26.54
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Zohar Manna
ISBN 10: 3642093477 ISBN 13: 9783642093470
New Taschenbuch

Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Neuware -Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. 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.This textbook also presents a logical approach to engineering correct software. The increasing ubiquity of computers makes implementing correct systems more important than ever. Verification exercises 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.For readers interested in learning more about computational logic, decision procedures, verification, and other areas of formal methods, the final chapter outlines courses of further study.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 384 pp. Englisch. Seller Inventory # 9783642093470

Contact seller

Buy New

US$ 63.56
Convert currency
Shipping: US$ 63.46
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Bradley, Aaron R.
Published by Springer 2010-10, 2010
ISBN 10: 3642093477 ISBN 13: 9783642093470
New PF

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

PF. Condition: New. Seller Inventory # 6666-IUK-9783642093470

Contact seller

Buy New

US$ 64.34
Convert currency
Shipping: US$ 20.99
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 10 available

Add to basket

Seller Image

Bradley, Aaron R.; Manna, Zohar
Published by Springer, 2010
ISBN 10: 3642093477 ISBN 13: 9783642093470
New Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 11985527-n

Contact seller

Buy New

US$ 67.81
Convert currency
Shipping: US$ 20.32
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Bradley, Aaron R. R.; Manna, Zohar
Published by Springer, 2010
ISBN 10: 3642093477 ISBN 13: 9783642093470
New Softcover

Seller: California Books, Miami, FL, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # I-9783642093470

Contact seller

Buy New

US$ 68.00
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

There are 4 more copies of this book

View all search results for this book