Formal Methods Introduction Postcondition, Andrew D. Gordon, Predicate Transformer Semantics, Wirth Syntax Notation, Qed Manifesto
by Books LLC
| Publisher: | Unknows |
| Published In: | 15-Sep-2010 |
| ISBN-10: | 1155925734 |
| ISBN-13: | 9781155925738 |
| Binding Type: | Paperback |
| Weight: | 228 gms |
| Pages: | pp. 120, 2:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on Creme w/Gloss Lam |
The Title "Formal Methods Introduction Postcondition, Andrew D. Gordon, Predicate Transformer Semantics, Wirth Syntax Notation, Qed Manifesto" is written by Books LLC. This book was published in the year 1520. The ISBN number 1155925734|9781155925738 is assigned to the Paperback version of this title. This book has total of pp. 120 (Pages). The publisher of this title is Unknows. Formal Methods Introduction Postcondition, Andrew D. Gordon, Predicate Transformer Semantics, Wirth Syntax Notation, Qed Manifesto is currently Not Available with us.You can enquire about this book and we will let you know the availability.