Image from Google Jackets

Decision procedures: an algorithmic point of view / Daniel Kroening and Ofer Strichman

By: Contributor(s): Language: English Series: Texts in theoretical computer science an EATCS seriesPublication details: Berlin : Springer, 2016.Description: xxi, 356 p. : ill. ; 23 cmISBN:
  • 9783662570654
Subject(s): DDC classification:
  • 004.0151 KRO/D
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Home library Collection Call number Status Date due Barcode Item holds
Technical Reference Book 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.

to post a comment.

Central Library, Indian Institute of Technology Bhubaneswar, 4th Floor, Administrative Building, Argul, Khordha, PIN-752050, Odisha, India
Phone: +91-674-7138750 | Email: circulation.library@iitbbs.ac.in (For circulation related queries),
Email: info.library@iitbbs.ac.in (For other queries)

Powered by Koha