Tools and Algorithms for the Construction and Analysis of Systems

by Armin Biere and David Parker

0 ratings • 0 reviews • 0 shelved
Book cover for Tools and Algorithms for the Construction and Analysis of Systems
Shelve It

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

  • ISBN10 101327721X
  • ISBN13 9781013277214
  • Publish Date 9 October 2020
  • Publish Status Active
  • Imprint Saint Philip Street Press
  • Format Hardcover
  • Pages 438
  • Language English