Specification and Transformation of Programs: A Formal Approach to Software Development - Monographs in Computer Science - Helmut A. Partsch - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540523567 - July 5, 1990
In case cover and title do not match, the title is correct

Helmut A. Partsch
Specification and Transformation of Programs: A Formal Approach to Software Development - Monographs in Computer Science 1990 edition

Price
€ 46.99

Ordered from remote warehouse

Expected delivery Aug 4 - 12
Get notified about new Helmut A. Partsch releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

"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 are constructed by stepwise application of formal, semantics-preserving transformation rules.

493 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released July 5, 1990
ISBN13 9783540523567
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 493
Dimensions 178 × 254 × 28 mm   ·   1.11 kg
Language English  

More from the same publisher

See all of Helmut A. Partsch ( e.g. Hardcover Book and Paperback Book )