Helmut A. Partsch – författare
Visar alla böcker från författaren Helmut A. Partsch. Handla med fri frakt och snabb leverans.
3 produkter
Specification and Transformation of Programs
A Formal Approach to Software Development
Inbunden, 1990
569 kr
Lägg i varukorg
"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. The …
Specification and Transformation of Programs
A Formal Approach to Software Development
Häftad, 1990
569 kr
Lägg i varukorg
"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. The …
Specification and Transformation of Programs
A Formal Approach to Software Development
E-bok, 2012
739 kr
Lägg i varukorg
"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. The …
