Normal view MARC view ISBD view

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

By: Kroening, Daniel.
Material type: TextTextSeries: Texts in theoretical computer science. an eatcs series.Publisher: New York : Springer, 2008Edition: 1st ed.Description: xvi, 304 p., E 49.95 ill.; 24 cm.ISBN: 9783540741046 (hardcover).Subject(s): Computer systems --Verification. -- Computer software --VerificationSummary: includes bibliography and index.
List(s) this item appears in: Reserved Aug-Nov 2018
Item type Current location Call number Status Date due Barcode Item holds
Book Chennai Mathematical Institute
General Stacks
005.14 KRO (Browse shelf) Available 8751
Total holds: 0

includes bibliography and index.