Specification and Transformation of Programs A Formal Approach to Software Development
by Helmut A. Partsch
Available
Ships From New York
Free Shipping within U.S.A
International Shipping?
Check Delivery Estimate and
Shipping Cost
for your country
| Publisher: | Springer |
| Published In: | 05-Jul-1990 |
| ISBN-10: | 3540525890 |
| ISBN-13: | 9783540525899 |
| Binding Type: | Paperback |
| Weight: | 2.22 lbs |
| Pages: | pp. 512, 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss |
The Title "Specification and Transformation of Programs A Formal Approach to Software Development" is written by Helmut A. Partsch. This book was published in the year 1990. The ISBN number 3540525890|9783540525899 is assigned to the Paperback version of this title. This book has total of pp. 0 (Pages). The publisher of this title is Springer. We have about 144461 other great books from this publisher. Specification and Transformation of Programs A Formal Approach to Software Development is currently Available with us.