Articles On Finite Model Theory, including Model Checking, Uppaal Model Checker, Rabbit Model Checker, Blast Model Checker, Spin Model Checker, Partial Order Reduction, Markov Reward Model Checker (mrmc), Libdmc, Nusmv
by Hephaestus Books
| Publisher: | Unknows |
| Published In: | 28-Sep-2011 |
| ISBN-10: | 1244199559 |
| ISBN-13: | 9781244199552 |
| Binding Type: | Paperback |
| Weight: | 181 gms |
| Pages: | pp. 68, 50:B&W 7.44 x 9.69 in or 246 x 189 mm (Crown 4vo) Perfect Bound on White w/Gloss |
The Title "Articles On Finite Model Theory, including Model Checking, Uppaal Model Checker, Rabbit Model Checker, Blast Model Checker, Spin Model Checker, Partial Order Reduction, Markov Reward Model Checker (mrmc), Libdmc, Nusmv" is written by Hephaestus Books. This book was published in the year 2820. The ISBN number 1244199559|9781244199552 is assigned to the Paperback version of this title. This book has total of pp. 68 (Pages). The publisher of this title is Unknows. Articles On Finite Model Theory, including Model Checking, Uppaal Model Checker, Rabbit Model Checker, Blast Model Checker, Spin Model Checker, Partial Order Reduction, Markov Reward Model Checker (mrmc), Libdmc, Nusmv is currently Not Available with us.You can enquire about this book and we will let you know the availability.