Matches in Library of Congress for { <http://lccn.loc.gov/92033318> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- 92033318 contributor B6649939.
- 92033318 created "1993.".
- 92033318 date "1992".
- 92033318 date "1993.".
- 92033318 dateCopyrighted "1993.".
- 92033318 description "Includes bibliographical references.".
- 92033318 extent "142 p. :".
- 92033318 identifier "079239285X (alk. paper)".
- 92033318 issued "1992".
- 92033318 issued "1993.".
- 92033318 language "eng".
- 92033318 publisher "Boston : Kluwer Academic Publishers,".
- 92033318 subject "621.39/2 20".
- 92033318 subject "Computer software Verification.".
- 92033318 subject "Electronic digital computers Evaluation.".
- 92033318 subject "QA76.76.E93 C65 1993".
- 92033318 title "Computer-aided verification / edited by Robert Kurshan.".
- 92033318 type "text".