Logical Derivation of Computer Programs 1

Data & IT

Logical Derivation of Computer Programs

Name: Logical Derivation of Computer Programs
Price: 469 SEK
Availability: OutOfStock
Author: Thomas G Windeknecht
ISBN: 9781871516982

Thomas G Windeknecht

Inbunden

469:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.

200 sidor
1999

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.

Författare: Thomas G Windeknecht
Format: Inbunden
ISBN: 9781871516982
Antal sidor: 200
Utgivningsdatum: 1999-05-01
Förlag: Intellect