Matches in Library of Congress for { <http://lccn.loc.gov/92026748> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 92026748 contributor B6642376.
- 92026748 created "c1993.".
- 92026748 date "1993".
- 92026748 date "c1993.".
- 92026748 dateCopyrighted "c1993.".
- 92026748 description "Includes bibliographical references (p. 429-443) and indexes.".
- 92026748 extent "xiii, 457 p. :".
- 92026748 identifier "0792319656 (HB : acid-free paper)".
- 92026748 identifier 92026748-d.html.
- 92026748 identifier 92026748-t.html.
- 92026748 isPartOf "Studies in cognitive systems ; v. 14".
- 92026748 issued "1993".
- 92026748 issued "c1993.".
- 92026748 language "eng".
- 92026748 publisher "Dordrecht ; Boston : Kluwer Academic Publishers,".
- 92026748 subject "005.1/4 20".
- 92026748 subject "Computer software Verification.".
- 92026748 subject "QA76.76.V47 P76 1993".
- 92026748 title "Program verification : fundamental issues in computer science / edited by Timothy R. Colburn, James H. Fetzer, and Terry L. Rankin.".
- 92026748 type "text".