Model checking Model checkers, Temporal logic, Construction and Analysis of Distributed Processes, List of model checking tools, Promela
| Publisher: | Unknows |
| Published In: | 20-Aug-2011 |
| ISBN-10: | 1233158600 |
| ISBN-13: | 9781233158607 |
| Binding Type: | Paperback |
| Weight: | 97 gms |
| Pages: | pp. 28, 50:B&W 7.44 x 9.69 in or 246 x 189 mm (Crown 4vo) Perfect Bound on White w/Gloss |
The Title "Model checking Model checkers, Temporal logic, Construction and Analysis of Distributed Processes, List of model checking tools, Promela" was published in the year 2020. The ISBN number 1233158600|9781233158607 is assigned to the Paperback version of this title. This book has total of pp. 28 (Pages). The publisher of this title is Unknows. Model checking Model checkers, Temporal logic, Construction and Analysis of Distributed Processes, List of model checking tools, Promela is currently Not Available with us.You can enquire about this book and we will let you know the availability.