Specification and Transformation of Programs: A Formal Approach to Software Development (Texts & Monographs in Computer Science)

By Helmut A. Partsch

Book Overview

"Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0387523561
• ISBN13: 9780387523569
• Release Date: January 1990
• Publisher: Springer-Verlag
• Length: 493 Pages
• Weight: 1.21 lbs.
• Dimensions: 10.2" x 1.3" x 7.0"