Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Specification and Transformation of Programs

Specification and Transformation of Programs

- A Formal Approach to Software Development

av Helmut A. Partsch

del av Monographs in Computer Science-serien

Specification and Transformation of Programs av Helmut A. Partsch
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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783540523567
  • Format:
  • Inbunden
  • Sidor:
  • 493
  • Utgiven:
  • 5 Juli 1990
  • Utgåva:
  • 1990
  • Mått:
  • 178x254x28 mm.
  • Vikt:
  • 2630 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 24 Juli 2024

Om Helmut A. Partsch

Se alla böcker av Helmut A. Partsch

Beskrivning av 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.

Användarnas betyg av Specification and Transformation of Programs



Andra köpte även...
Hitta liknande böcker
Boken Specification and Transformation of Programs finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.