Matches in Library of Congress for { <http://lccn.loc.gov/89011540> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 89011540 contributor B5853427.
- 89011540 contributor B5853428.
- 89011540 created "c1990.".
- 89011540 date "1990".
- 89011540 date "c1990.".
- 89011540 dateCopyrighted "c1990.".
- 89011540 extent "x, 220 p. :".
- 89011540 identifier "0387969578 (alk. paper)".
- 89011540 isPartOf "Texts and monographs in computer science".
- 89011540 issued "1990".
- 89011540 issued "c1990.".
- 89011540 language "eng".
- 89011540 publisher "New York : Springer-Verlag,".
- 89011540 subject "511.3 20".
- 89011540 subject "Predicate calculus.".
- 89011540 subject "Programming languages (Electronic computers) Semantics.".
- 89011540 subject "QA9.35 .D55 1990".
- 89011540 title "Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten.".
- 89011540 type "text".