Formal Methods - Formal methods Abstract State Machines, B-Method, Books, CSP, Documents, Education, Model checking, ProCoS, Projects, Publications, Theorem provers, Tools, VDM, Z notation, ABZ, ABZ 2010, ABZ 2012, ABZ, ABZ 2010
| Publisher: | Unknows |
| Published In: | 13-Oct-2012 |
| ISBN-10: | 1234695618 |
| ISBN-13: | 9781234695613 |
| 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 "Formal Methods - Formal methods Abstract State Machines, B-Method, Books, CSP, Documents, Education, Model checking, ProCoS, Projects, Publications, Theorem provers, Tools, VDM, Z notation, ABZ, ABZ 2010, ABZ 2012, ABZ, ABZ 2010" was published in the year 1320. The ISBN number 1234695618|9781234695613 is assigned to the Paperback version of this title. This book has total of pp. 68 (Pages). The publisher of this title is Unknows. Formal Methods - Formal methods Abstract State Machines, B-Method, Books, CSP, Documents, Education, Model checking, ProCoS, Projects, Publications, Theorem provers, Tools, VDM, Z notation, ABZ, ABZ 2010, ABZ 2012, ABZ, ABZ 2010 is currently Not Available with us.You can enquire about this book and we will let you know the availability.