Titre Logical derivation of computer programs / Thomas G. Windeknecht.

Adresse Bibliographique

Exeter, England : Intellect, c1999.

Exemplaires

Localisation	Cote	Statut
Innovative University Kline Collection	QA76.6 .W553 1999	AVAILABLE

Description	ii, 208 p ; 24 cm.
Bibliography	Includes bibliographical references (p. 179-180) and index.
Sujet	Computer programming -- Mathematics.
ISBN	1871516986