Formal Methods Tools Alloy Analyzer, B-Method, Chic (Electronics), Coreasm, Cpn-Ami, Esc-Java, Exspect, Fastest, Frama-C, FSA Utilities, Ke
| Publisher: | Unknows |
| Published In: | 12-Sep-2013 |
| ISBN-10: | 1230569936 |
| ISBN-13: | 9781230569932 |
| Binding Type: | Paperback |
| Weight: | 86 gms |
| Pages: | pp. 22, 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 Alloy Analyzer, B-Method, Chic (Electronics), Coreasm, Cpn-Ami, Esc-Java, Exspect, Fastest, Frama-C, FSA Utilities, Ke" was published in the year 1220. The ISBN number 1230569936|9781230569932 is assigned to the Paperback version of this title. This book has total of pp. 22 (Pages). The publisher of this title is Unknows. Formal Methods Tools Alloy Analyzer, B-Method, Chic (Electronics), Coreasm, Cpn-Ami, Esc-Java, Exspect, Fastest, Frama-C, FSA Utilities, Ke is currently Not Available with us.You can enquire about this book and we will let you know the availability.