Correctness preserving program refinements proof theory and applications /

Description

Revision of Thesis (doctoral)--University of Helsinki, 1978. / Includes indexes. Includes bibliographical references (p. 109-112).

Links & Downloads

1. http://catalog.hathitrust.org/api/volumes/oclc/7436871.html

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/622048687
Date	January 1980
Creators	Back, R. J. R.
Publisher	Amsterdam : Mathematisch centrum,
Source Sets	OCLC
Language	English
Detected Language	English