Decision procedures: an algorithmic point of view / Daniel Kroening and Ofer Strichman
Language: English Series: Texts in theoretical computer science an EATCS seriesPublication details: Berlin : Springer, 2016.Description: xxi, 356 p. : ill. ; 23 cmISBN:- 9783662570654
- 004.0151 KRO/D
Item type | Current library | Home library | Collection | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|---|
Technical Reference Book | Central Library, IIT Bhubaneswar | Central Library, IIT Bhubaneswar | SES | 004.0151 KRO/D (Browse shelf(Opens below)) | Available | 10226 |
Total holds: 0
Including reference and index.
There are no comments on this title.
Log in to your account to post a comment.