Matches in Library of Congress for { <http://lccn.loc.gov/80012451%2F%2Fr932> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 80012451%2F%2Fr932 contributor B3738847.
- 80012451%2F%2Fr932 created "c1980.".
- 80012451%2F%2Fr932 date "1980".
- 80012451%2F%2Fr932 date "c1980.".
- 80012451%2F%2Fr932 dateCopyrighted "c1980.".
- 80012451%2F%2Fr932 description "Bibliography: p. 466-490.".
- 80012451%2F%2Fr932 extent "xvi, 505 p. ;".
- 80012451%2F%2Fr932 identifier "0135621321 :".
- 80012451%2F%2Fr932 isPartOf "Prentice-Hall International series in computer science".
- 80012451%2F%2Fr932 issued "1980".
- 80012451%2F%2Fr932 issued "c1980.".
- 80012451%2F%2Fr932 language "eng".
- 80012451%2F%2Fr932 publisher "Englewood Cliffs, N.J. : Prentice-Hall International,".
- 80012451%2F%2Fr932 subject "001.64/25".
- 80012451%2F%2Fr932 subject "Computer programs Correctness.".
- 80012451%2F%2Fr932 subject "Logic, Symbolic and mathematical.".
- 80012451%2F%2Fr932 subject "QA76.6 .B335".
- 80012451%2F%2Fr932 title "Mathematical theory of program correctness / Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery Zucker.".
- 80012451%2F%2Fr932 type "text".