Specification and Transformation of Programs: A Formal Approach to Software Development - Monographs in Computer Science - Helmut A. Partsch - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540523567 - 5 juli 1990
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 49,49

Besteld in een afgelegen magazijn

Verwachte levering 19 - 27 nov.
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Ontvang meldingen over nieuwe releases van Helmut A. Partsch

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

Nog niet beoordeeld

"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 Boeken     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 5 juli 1990
ISBN13 9783540523567
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 493
Afmetingen 178 × 254 × 28 mm   ·   1,11 kg
Taal en grammatica Engels  

Meer van dezelfde uitgever

Bekijk alles van Helmut A. Partsch