Catalog

Record Details

Catalog Search


The Calculus of Computation Decision Procedures with Applications to Verification Cover Image E-book E-book

The Calculus of Computation [electronic resource] : Decision Procedures with Applications to Verification / by Aaron R. Bradley, Zohar Manna.

Bradley, Aaron R. (author.). Manna, Zohar. (author.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783540741138
  • Physical Description: XVI, 366 p. 60 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Search for related items by subject

Subject: Computer science.
Information theory.
Computer software.
Logic design.
Computer Science.
Theory of Computation.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Formal Languages.

Electronic resources

Texto completo


Additional Resources