The Resource Calculus of computation : decision procedures with applications to verification, Aaron R. Bradley, Zohar Manna
Calculus of computation : decision procedures with applications to verification, Aaron R. Bradley, Zohar Manna
Resource Information
The item Calculus of computation : decision procedures with applications to verification, Aaron R. Bradley, Zohar Manna represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item Calculus of computation : decision procedures with applications to verification, Aaron R. Bradley, Zohar Manna represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
 Summary
 "Computational logic is a fastgrowing 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 firstorder logic to stateoftheart 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."Jacket
 Language
 eng
 Extent
 1 online resource (xv, 366 pages)
 Contents

 Foundations
 Propositional Logic
 FirstOrder Logic
 FirstOrder Theories
 Induction
 Program Correctness: Mechanics
 Program Correctness: Strategies
 Algorithmic Reasoning
 Quantified Linear Arithmetic
 QuantifierFree Linear Arithmetic
 QuantifierFree Equality and Data Structures
 Combining Decision Procedures
 Arrays
 Invariant Generation
 Further Reading
 Isbn
 9781281355263
 Label
 Calculus of computation : decision procedures with applications to verification
 Title
 Calculus of computation
 Title remainder
 decision procedures with applications to verification
 Statement of responsibility
 Aaron R. Bradley, Zohar Manna
 Language
 eng
 Summary
 "Computational logic is a fastgrowing 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 firstorder logic to stateoftheart 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."Jacket
 Cataloging source
 GW5XE
 http://library.link/vocab/creatorName
 Bradley, Aaron R
 Dewey number
 004.015113
 Illustrations
 illustrations
 Index
 index present
 LC call number
 QA76.9.L63
 LC item number
 B73 2007eb
 Literary form
 non fiction
 Nature of contents

 dictionaries
 bibliography
 http://library.link/vocab/relatedWorkOrContributorName
 Manna, Zohar
 http://library.link/vocab/subjectName

 Computer logic
 Computer programs
 COMPUTERS
 Computer programs
 Computer logic
 Informatique
 Computer logic
 Computer programs
 Label
 Calculus of computation : decision procedures with applications to verification, Aaron R. Bradley, Zohar Manna
 Bibliography note
 Includes bibliographical references (pages 351355) and index
 Carrier category
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier
 Color
 multicolored
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Contents
 Foundations  Propositional Logic  FirstOrder Logic  FirstOrder Theories  Induction  Program Correctness: Mechanics  Program Correctness: Strategies  Algorithmic Reasoning  Quantified Linear Arithmetic  QuantifierFree Linear Arithmetic  QuantifierFree Equality and Data Structures  Combining Decision Procedures  Arrays  Invariant Generation  Further Reading
 Control code
 213094886
 Dimensions
 unknown
 Extent
 1 online resource (xv, 366 pages)
 Form of item
 online
 Isbn
 9781281355263
 Lccn
 2007932679
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other control number
 10.1007/9783540741138
 Other physical details
 illustrations
 http://library.link/vocab/ext/overdrive/overdriveId
 9783540741121
 Specific material designation
 remote
 System control number
 (OCoLC)213094886
 Label
 Calculus of computation : decision procedures with applications to verification, Aaron R. Bradley, Zohar Manna
 Bibliography note
 Includes bibliographical references (pages 351355) and index
 Carrier category
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier
 Color
 multicolored
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Contents
 Foundations  Propositional Logic  FirstOrder Logic  FirstOrder Theories  Induction  Program Correctness: Mechanics  Program Correctness: Strategies  Algorithmic Reasoning  Quantified Linear Arithmetic  QuantifierFree Linear Arithmetic  QuantifierFree Equality and Data Structures  Combining Decision Procedures  Arrays  Invariant Generation  Further Reading
 Control code
 213094886
 Dimensions
 unknown
 Extent
 1 online resource (xv, 366 pages)
 Form of item
 online
 Isbn
 9781281355263
 Lccn
 2007932679
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other control number
 10.1007/9783540741138
 Other physical details
 illustrations
 http://library.link/vocab/ext/overdrive/overdriveId
 9783540741121
 Specific material designation
 remote
 System control number
 (OCoLC)213094886
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Calculusofcomputationdecisionprocedures/ijgPhvlYkM4/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Calculusofcomputationdecisionprocedures/ijgPhvlYkM4/">Calculus of computation : decision procedures with applications to verification, Aaron R. Bradley, Zohar Manna</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Calculus of computation : decision procedures with applications to verification, Aaron R. Bradley, Zohar Manna
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Calculusofcomputationdecisionprocedures/ijgPhvlYkM4/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Calculusofcomputationdecisionprocedures/ijgPhvlYkM4/">Calculus of computation : decision procedures with applications to verification, Aaron R. Bradley, Zohar Manna</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>