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