Decision procedures : an algorithmic point of view

Author(s)

    • Kroening, Daniel
    • Strichman, Ofer

Bibliographic Information

Decision procedures : an algorithmic point of view

Daniel Kroening, Ofer Strichman

（Texts in theoretical computer science, An EATCS series）

Springer, c2016

2nd ed

  • : hardback

Available at  / 2 libraries

Search this Book/Journal

Note

Includes bibliographical references (p. 329-346) and indexes

Related Books： 1-1 of 1

Details

  • NCID
    BB2329091X
  • ISBN
    • 9783662504963
  • Country Code
    gw
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Berlin
  • Pages/Volumes
    xxi, 356 p.
  • Size
    24 cm
  • Parent Bibliography ID
Page Top