519.542  / K913d2 <br/>
Kroening, Daniel <br/>
       Decision Procedures [2nd ed.] [Perpetual] : an algorithmic point of view 
 / Daniel Kroening and Ofer Strichman 
 .- 2nd ed. 
 .- Berlin: Springer-Verlag,  2016 
 .- xxi, 356p. 
.- ( Texts in theoretical computer science. An EATCS series    
  ** / edited by Monika Henzinger    )
<br/>with 64 illustrations, (5 illustrations in color) 
<br><u>ISBN:</u> 9783662504963     
<br/><u>Subject Headings:</u> <br/>Decision making -- Mathematical models;<br/>Logic, Symbolic and mathematical;<br/>Software engineering;<br/>Computer science;
<br/><U>Author Added Entry: </u><br/>Strichman, Ofer;
<br><U>Copy Details:</u><br> Acc. No.: <b>EBK10661</b>, Full Call No.: 519.542 K913d2,   Item type:  E books , Location: Electronic Resources, <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>