Matches in Library of Congress for { <http://lccn.loc.gov/00063787> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 00063787 contributor B58977.
- 00063787 contributor B58978.
- 00063787 created "2000.".
- 00063787 date "2000".
- 00063787 date "2000.".
- 00063787 dateCopyrighted "2000.".
- 00063787 description "Includes bibliographical references and index.".
- 00063787 extent "x, 342 p. :".
- 00063787 identifier "3540410309 (softcover : alk. paper)".
- 00063787 identifier 00063787-d.html.
- 00063787 isPartOf "Lecture notes in computer science ; 1885".
- 00063787 issued "2000".
- 00063787 issued "2000.".
- 00063787 language "eng".
- 00063787 publisher "Berlin ; New York : Springer,".
- 00063787 subject "005.2/76 21".
- 00063787 subject "Computer software Verification Congresses.".
- 00063787 subject "QA76.76.V47 I58 2000".
- 00063787 subject "SPIN (Computer file) Congresses.".
- 00063787 title "SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings / Klaus Havelund, John Penix, Willem Visser (eds.).".
- 00063787 type "text".