Matches in Library of Congress for { <http://lccn.loc.gov/89030196%2F%2Fr90> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- 89030196%2F%2Fr90 contributor B5873962.
- 89030196%2F%2Fr90 created "c1989.".
- 89030196%2F%2Fr90 date "1989".
- 89030196%2F%2Fr90 date "c1989.".
- 89030196%2F%2Fr90 dateCopyrighted "c1989.".
- 89030196%2F%2Fr90 description "Bibliography: p. 309-315.".
- 89030196%2F%2Fr90 extent "xvii, 334 p. :".
- 89030196%2F%2Fr90 identifier "0471605395".
- 89030196%2F%2Fr90 issued "1989".
- 89030196%2F%2Fr90 issued "c1989.".
- 89030196%2F%2Fr90 language "eng".
- 89030196%2F%2Fr90 publisher "New York : Wiley,".
- 89030196%2F%2Fr90 subject "005.1/4 19".
- 89030196%2F%2Fr90 subject "Computer programs Verification.".
- 89030196%2F%2Fr90 subject "Programming languages (Electronic computers) Semantics.".
- 89030196%2F%2Fr90 subject "QA76.76.V47 G86 1989".
- 89030196%2F%2Fr90 title "Programming logics : an introduction to verification and semantics / Raymond D. Gumb.".
- 89030196%2F%2Fr90 type "text".