Matches in Library of Congress for { <http://lccn.loc.gov/2001032221> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2001032221 contributor B8935003.
- 2001032221 contributor B8935004.
- 2001032221 contributor B8935005.
- 2001032221 created "2001.".
- 2001032221 date "2001".
- 2001032221 date "2001.".
- 2001032221 dateCopyrighted "2001.".
- 2001032221 description "Includes bibliographical references and index.".
- 2001032221 extent "x, 311 p. :".
- 2001032221 identifier "3540421246 (pbk. : alk. paper)".
- 2001032221 identifier 2001032221-d.html.
- 2001032221 isPartOf "Lecture notes in computer science ; 2057".
- 2001032221 issued "2001".
- 2001032221 issued "2001.".
- 2001032221 language "eng".
- 2001032221 publisher "Berlin ; New York : Springer,".
- 2001032221 subject "005.1/4 21".
- 2001032221 subject "Computer software Verification Congresses.".
- 2001032221 subject "QA76.76.V47 I58 2001".
- 2001032221 subject "SPIN (Computer file) Congresses.".
- 2001032221 title "Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings / Matthew Dwyer (ed.).".
- 2001032221 type "text".