Decision procedures : an algorithmic point of view / Daniel Kroening, Ofer Strichman.
By: Kroening, Daniel.
Material type: TextSeries: Texts in theoretical computer science. an eatcs series.Publisher: New York : Springer, 2008Edition: 1st ed.Description: xvi, 304 p., E 49.95 ill.; 24 cm.ISBN: 9783540741046 (hardcover).Subject(s): Computer systems --Verification. -- Computer software --VerificationSummary: includes bibliography and index.Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Book | Chennai Mathematical Institute General Stacks | 005.14 KRO (Browse shelf) | Available | 8751 |
Total holds: 0
includes bibliography and index.