FEEDBACK Smiley face
Normal view MARC view ISBD view

Decision procedures : an algorithmic point of view

By: Kroening, Daniel.
Contributor(s): Strichman, Ofer.
Material type: materialTypeLabelBookSeries: Texts in theoretical computer science an EATCS.Publisher: Berlin : Springer, ©2016Edition: 2nd ed.Description: xxi, 356 p. ; 24cm.ISBN: 9783662504963.Subject(s): Algorithms | Software engineering | Computer science | Computers
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Collection Call number Status Date due Barcode Item holds Course reserves
Reference Reference IIITD
Mathematics REF 519.542 KRO-D (Browse shelf) Not for loan 010161

Decision Procedures Winter

Total holds: 0

Includes index

There are no comments for this item.

Log in to your account to post a comment.

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: