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
Browsing Chennai Mathematical Institute Shelves , Shelving location: General Stacks Close shelf browser
|
|
|
|
|
|
|
||
| 005.133 WEL Essentials of programming in Mathematica / | 005.14 CLA Model checking / | 005.14 DEN Semantics of probabilistic processes. an operational approach. | 005.14 KRO Decision procedures : an algorithmic point of view / | 005.43 ANT Mastering Ethereum : building smart contracts and DApps / | 005.7 BAH Big Data Analytics a hands-on approach | 005.712 STE UNIX network programming / Vol.1 The Sockets Networking API. |
includes bibliography and index.