Matches in Library of Congress for { <http://lccn.loc.gov/86031336> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 86031336 contributor B5171355.
- 86031336 created "c1987.".
- 86031336 date "1987".
- 86031336 date "c1987.".
- 86031336 dateCopyrighted "c1987.".
- 86031336 description "Bibliography: p. 143-146.".
- 86031336 extent "viii, 148 p. ;".
- 86031336 identifier "0387170308 (U.S.)".
- 86031336 isPartOf "EATCS monographs on theoretical computer science ; v. 8".
- 86031336 issued "1987".
- 86031336 issued "c1987.".
- 86031336 language "eng".
- 86031336 publisher "Berlin ; New York : Springer-Verlag,".
- 86031336 subject "005.13/1 19".
- 86031336 subject "Computer programming.".
- 86031336 subject "Logic, Symbolic and mathematical.".
- 86031336 subject "QA76.6 .K753 1987".
- 86031336 title "Temporal logic of programs / Fred Kröger.".
- 86031336 type "text".