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
Browsing Central Library, IIT Bhubaneswar shelves Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
004.015 HEL/D Discrete structures, logic, and computability / | 004.015 HEL/D Discrete structures, logic, and computability / | 004.0151 DHA/M Mathematical foundation for computer / | 004.0151 KRO/D Decision procedures: an algorithmic point of view / | 004.0151 LAN/N Numerical and symbolic scientific computing : | 004.0151 SIN/E Elements of computation theory / | 004.0151 SIN/E Elements of computation theory / |
Including reference and index.
There are no comments on this title.
Log in to your account to post a comment.