Matches in Library of Congress for { <http://lccn.loc.gov/82151373> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 82151373 contributor B4262853.
- 82151373 contributor B4262854.
- 82151373 created "1980.".
- 82151373 date "1980".
- 82151373 date "1980.".
- 82151373 dateCopyrighted "1980.".
- 82151373 description "Bibliography: p. 14.".
- 82151373 extent "14 p. ;".
- 82151373 isPartOf "Prace IPI Pan ; 403.".
- 82151373 isPartOf "Prace IPI Pan = ICS Pas reports, 0138-0648 ; 403".
- 82151373 issued "1980".
- 82151373 issued "1980.".
- 82151373 language "eng polrus".
- 82151373 language "eng".
- 82151373 publisher "Warsaw : Institute of Computer Science, Polish Academy of Sciences,".
- 82151373 subject "001.64 s 001.64/2 19".
- 82151373 subject "Computer programs Validation.".
- 82151373 subject "QA297 .P64 no. 403 QA76.6".
- 82151373 title "A computerized system of proving properties of programs / Elżbieta Ramm, Edmund Woronowicz.".
- 82151373 type "text".