Formal methods tools Model checkers, SAT solvers, SMT solvers, Theorem proving software systems, Mathematica, Isabelle, Gandalf, ACL2
| Publisher: | Unknows |
| Published In: | 06-Jul-2011 |
| ISBN-10: | 1156475678 |
| ISBN-13: | 9781156475676 |
| Binding Type: | Paperback |
| Weight: | 118 gms |
| Pages: | pp. 40, 50:B&W 7.44 x 9.69 in or 246 x 189 mm (Crown 4vo) Perfect Bound on White w/Gloss |
The Title "Formal methods tools Model checkers, SAT solvers, SMT solvers, Theorem proving software systems, Mathematica, Isabelle, Gandalf, ACL2" was published in the year 0620. The ISBN number 1156475678|9781156475676 is assigned to the Paperback version of this title. This book has total of pp. 40 (Pages). The publisher of this title is Unknows. Formal methods tools Model checkers, SAT solvers, SMT solvers, Theorem proving software systems, Mathematica, Isabelle, Gandalf, ACL2 is currently Not Available with us.You can enquire about this book and we will let you know the availability.