Matches in Library of Congress for { <http://lccn.loc.gov/92025895> ?p ?o. }
Showing items 1 to 17 of
17
with 100 items per page.
- 92025895 contributor B6641351.
- 92025895 created "c1992.".
- 92025895 date "1992".
- 92025895 date "c1992.".
- 92025895 dateCopyrighted "c1992.".
- 92025895 description "Includes bibliographical references (p. 295-303) and index.".
- 92025895 extent "xi, 312 p. :".
- 92025895 identifier "0201416085 :".
- 92025895 issued "1992".
- 92025895 issued "c1992.".
- 92025895 language "eng".
- 92025895 publisher "Wokingham, Eng. ; Reading, Mass. : Addison-Wesley Pub. Co.,".
- 92025895 subject "005.1/4 20".
- 92025895 subject "Computer software Verification.".
- 92025895 subject "QA76.76.V47 F73 1992".
- 92025895 title "Program verification / Francez Nissim.".
- 92025895 type "text".