Matches in Library of Congress for { <http://lccn.loc.gov/84003528> ?p ?o. }
Showing items 1 to 17 of
17
with 100 items per page.
- 84003528 contributor B4622373.
- 84003528 created "c1985.".
- 84003528 date "1985".
- 84003528 date "c1985.".
- 84003528 dateCopyrighted "c1985.".
- 84003528 description "Includes bibliographies and index.".
- 84003528 extent "xii, 291 p. ;".
- 84003528 identifier "0442263228".
- 84003528 issued "1985".
- 84003528 issued "c1985.".
- 84003528 language "eng".
- 84003528 publisher "New York : Van Nostrand Reinhold Co.,".
- 84003528 subject "001.64/2 19".
- 84003528 subject "Computer programs Verification.".
- 84003528 subject "QA76.6 .M5217 1985".
- 84003528 title "An introduction to formal program verification / Ali Mili.".
- 84003528 type "text".