Matches in Library of Congress for { <http://lccn.loc.gov/83016658> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 83016658 contributor B4408064.
- 83016658 contributor B4408065.
- 83016658 created "c1984.".
- 83016658 date "1984".
- 83016658 date "c1984.".
- 83016658 dateCopyrighted "c1984.".
- 83016658 description "Bibliography: p. 222-226.".
- 83016658 extent "ix, 230 p. ;".
- 83016658 identifier "047190323X :".
- 83016658 identifier 83016658-d.html.
- 83016658 identifier 83016658-t.html.
- 83016658 isPartOf "Wiley-Teubner series in computer science".
- 83016658 issued "1984".
- 83016658 issued "c1984.".
- 83016658 language "eng".
- 83016658 publisher "Stuttgart [Germany] : B.G. Teubner ; Chichester ; New York : Wiley,".
- 83016658 subject "001.64/2 19".
- 83016658 subject "Computer programs Verification.".
- 83016658 subject "QA76.6 .L585 1984".
- 83016658 title "The foundations of program verification / Jacques Loeckx and Kurt Sieber, in collaboration with Ryan D. Stansifer.".
- 83016658 type "text".