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://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=005307054&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA

Tags

Additional Fields

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