Matches in Library of Congress for { <http://lccn.loc.gov/79007311%2F%2Fr82> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 79007311%2F%2Fr82 contributor B3491558.
- 79007311%2F%2Fr82 created "1980.".
- 79007311%2F%2Fr82 date "1980".
- 79007311%2F%2Fr82 date "1980.".
- 79007311%2F%2Fr82 dateCopyrighted "1980.".
- 79007311%2F%2Fr82 description "Bibliography: p. 129-134.".
- 79007311%2F%2Fr82 extent "176 p. ;".
- 79007311%2F%2Fr82 identifier "0824044258 :".
- 79007311%2F%2Fr82 isPartOf "Outstanding dissertations in the computer sciences".
- 79007311%2F%2Fr82 issued "1980".
- 79007311%2F%2Fr82 issued "1980.".
- 79007311%2F%2Fr82 language "eng".
- 79007311%2F%2Fr82 publisher "New York : Garland Pub.,".
- 79007311%2F%2Fr82 subject "001.6/425".
- 79007311%2F%2Fr82 subject "Computer programs Verification.".
- 79007311%2F%2Fr82 subject "Data structures (Computer science)".
- 79007311%2F%2Fr82 subject "Programming languages (Electronic computers) Semantics.".
- 79007311%2F%2Fr82 subject "QA76.6 .S9138 1980".
- 79007311%2F%2Fr82 title "Automatic verification of programs with complex data structures / Norihisa Suzuki.".
- 79007311%2F%2Fr82 type "text".