Matches in Library of Congress for { <http://lccn.loc.gov/81131608> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 81131608 contributor B4018527.
- 81131608 created "1980.".
- 81131608 date "1980".
- 81131608 date "1980.".
- 81131608 dateCopyrighted "1980.".
- 81131608 description "Bibliography: p. 109-112.".
- 81131608 description "Revision of thesis (doctoral)--University of Helsinki, 1978.".
- 81131608 extent "118 p. ;".
- 81131608 identifier "9061962072 (pbk.)".
- 81131608 isPartOf "Mathematical Centre tracts ; 131".
- 81131608 issued "1980".
- 81131608 issued "1980.".
- 81131608 language "eng".
- 81131608 publisher "Amsterdam : Mathematisch centrum,".
- 81131608 subject "005.1 19".
- 81131608 subject "Computer programming.".
- 81131608 subject "QA76.6 .B27 1980".
- 81131608 title "Correctness preserving program refinements : proof theory and applications / R.J.R. Back.".
- 81131608 type "text".