Verification of several parallel coordination programs based on descriptions of their reachability sets
by B D Lubachevsky
| Publisher: | Unknows |
| Published In: | 15-Sep-2011 |
| ISBN-10: | 1245630857 |
| ISBN-13: | 9781245630856 |
| Binding Type: | Paperback |
| Weight: | 157 gms |
| Pages: | pp. 54, 50:B&W 7.44 x 9.69 in or 246 x 189 mm (Crown 4vo) Perfect Bound on White w/Gloss |
The Title "Verification of several parallel coordination programs based on descriptions of their reachability sets" is written by B D Lubachevsky. This book was published in the year 1520. The ISBN number 1245630857|9781245630856 is assigned to the Paperback version of this title. This book has total of pp. 54 (Pages). The publisher of this title is Unknows. Verification of several parallel coordination programs based on descriptions of their reachability sets is currently Not Available with us.You can enquire about this book and we will let you know the availability.