Matches in Library of Congress for { <http://lccn.loc.gov/97051978> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 97051978 contributor B8082862.
- 97051978 created "c1997.".
- 97051978 date "1997".
- 97051978 date "c1997.".
- 97051978 dateCopyrighted "c1997.".
- 97051978 description "Includes bibliographical references (p. [155]-159) and index.".
- 97051978 extent "x, 163 p. :".
- 97051978 identifier "3540601171 (softcover : alk. paper)".
- 97051978 isPartOf "Lecture notes in computer science, 0302-9743 ; 1354".
- 97051978 issued "1997".
- 97051978 issued "c1997.".
- 97051978 language "eng".
- 97051978 publisher "Berlin ; New York : Springer,".
- 97051978 subject "005.1/4 21".
- 97051978 subject "Computer software Verification.".
- 97051978 subject "QA76.76.V47 B87 1997".
- 97051978 subject "Software engineering.".
- 97051978 title "Automatic verification of sequential infinite-state processes / Olaf Burkart.".
- 97051978 type "text".