Decision procedures : an algorithmic point of view / Daniel Kroening, Ofer Strichman.

Author
Kroening, Daniel [Browse]
Format
Book
Language
English
Εdition
Second edition.
Published/​Created
  • Berlin, Germany : Springer, 2016.
  • ©2016
Description
xxi, 356 pages : illustrations ; 24 cm.

Details

Subject(s)
Author
Series
Texts in theoretical computer science [More in this series]
Bibliographic references
Includes bibliographical references and index.
ISBN
  • 9783662504963
  • 3662504960
OCLC
1011358227
International Article Number
  • 9783662504963
Statement on language in description
Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...
Other views
Staff view

Supplementary Information