Logical Derivation of Computer Programs
Versandkostenfrei!
Versandfertig in über 4 Wochen
34,99 €
inkl. MwSt.
PAYBACK Punkte
17 °P sammeln!
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 für
