Matches in Library of Congress for { <http://lccn.loc.gov/79319073%2F%2Fr85> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 79319073%2F%2Fr85 contributor B3600833.
- 79319073%2F%2Fr85 created "1979.".
- 79319073%2F%2Fr85 date "1979".
- 79319073%2F%2Fr85 date "1979.".
- 79319073%2F%2Fr85 dateCopyrighted "1979.".
- 79319073%2F%2Fr85 description "Bibliography: p. 60-64.".
- 79319073%2F%2Fr85 extent "64 p. ;".
- 79319073%2F%2Fr85 isPartOf "ICS PAS reports ; 344".
- 79319073%2F%2Fr85 isPartOf "Prace IPI PAN ; 344.".
- 79319073%2F%2Fr85 issued "1979".
- 79319073%2F%2Fr85 issued "1979.".
- 79319073%2F%2Fr85 language "eng polrus".
- 79319073%2F%2Fr85 language "eng".
- 79319073%2F%2Fr85 publisher "Warsaw : Institute of Computer Science, Polish Academy of Sciences,".
- 79319073%2F%2Fr85 subject "510/.8 s 001.6/424".
- 79319073%2F%2Fr85 subject "Computer programs Verification.".
- 79319073%2F%2Fr85 subject "Programming languages (Electronic computers) Semantics.".
- 79319073%2F%2Fr85 subject "QA297 .P64 no. 344 QA76.7".
- 79319073%2F%2Fr85 title "A survey of imput-output semantics and program verification / Andrzej Blikle.".
- 79319073%2F%2Fr85 type "text".