Advanced Formal Verification

by Rolf Drechsler

0 ratings • 0 reviews • 0 shelved
Book cover for Advanced Formal Verification
Shelve It

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

  • ISBN10 1475779852
  • ISBN13 9781475779851
  • Publish Date 15 January 2014 (first published December 2004)
  • Publish Status Withdrawn
  • Out of Print 18 October 2014
  • Publish Country US
  • Imprint Springer
  • Format Paperback (US Trade)
  • Pages 280
  • Language English