Decision Procedures [2nd ed.] [Perpetual] : an algorithmic point of view
By: Kroening, Daniel.
Contributor(s): Strichman, Ofer.
Series: Texts in theoretical computer science. An EATCS series. / edited by Monika Henzinger.Publisher: Berlin Springer-Verlag 2016Edition: 2nd ed.Description: xxi, 356p.ISBN: 9783662504963 .Subject(s): Decision making -- Mathematical models | Logic, Symbolic and mathematical | Software engineering | Computer scienceDDC classification: 519.542 | K913d2 Online resources: Click here to access onlineItem type | Current location | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
E books | PK Kelkar Library, IIT Kanpur | Electronic Resources | 519.542 K913d2 (Browse shelf) | Available | EBK10661 |
Total holds: 0
with 64 illustrations, (5 illustrations in color)
There are no comments for this item.