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
HK$ 417
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 7 - 13

Our customers say:

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

"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  

Mere med samme udgiver

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