Logical Derivation of Computer Programs - Windeknecht, Thomas G.
33,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in über 4 Wochen
payback
17 °P sammeln
  • Gebundenes Buch

This text presents a language-based logic for procedures to derive computer programs from formal specifications. This formal approach is based upon design philosophy, and has been class-tested by the author throughout its development. The book also features examples, and solved exercises.

Andere Kunden interessierten sich auch für
Produktbeschreibung
This text presents a language-based logic for procedures to derive computer programs from formal specifications. This formal approach is based upon design philosophy, and has been class-tested by the author throughout its development. The book also features examples, and solved exercises.