Utvidet returrett til 31. januar 2024

Bøker av Helmut A. Partsch

Filter
Filter
Sorter etterSorter Populære
  • - A Formal Approach to Software Development
    av Helmut A. Partsch
    754,-

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

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.