Name: Specification and Transformation of Programs
Price: 752.95 DKK
Availability: InStock
Author: Helmut A. Partsch
ISBN: 9783540523567

Specification and Transformation of Programs af Helmut A. Partsch

Du sparer 0% ift. normalprisen Spar 0%

Hardback
8-11 hverdage
752,95 kr.

Bag om Specification and Transformation of Programs

"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.

Vis mere

Sprog:
Engelsk

ISBN:
9783540523567

Forlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Indbinding:
Hardback

Sideantal:
493

Udgivet:
5. juli 1990

Udgave:
1990

Størrelse:
178x254x28 mm.

Vægt:
2630 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 20. november 2024

Normalpris

BLACK NOVEMBER
752,95 kr. + Fragt
~~752,95 kr.~~

Medlemspris

702,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Helmut A. Partsch

Vis alle bøger af Helmut A. Partsch

Beskrivelse af Specification and Transformation of Programs

"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.

Brugerbedømmelser af Specification and Transformation of Programs

Andre købte også..

Find lignende bøger

Bogen Specification and Transformation of Programs findes i følgende kategorier:

Business og læring > Computer og IT

Specification and Transformation of Programs - Helmut A. Partsch - Bog

Bag om Helmut A. Partsch

Beskrivelse af Specification and Transformation of Programs

Brugerbedømmelser af Specification and Transformation of Programs

Gør som tusindvis af andre bogelskere