Matches in Library of Congress for { <http://lccn.loc.gov/2005930636> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- 2005930636 alternative "12th International SPIN Workshop".
- 2005930636 alternative "International SPIN Workshop".
- 2005930636 alternative "Twelfth International SPIN Workshop".
- 2005930636 contributor B10398535.
- 2005930636 contributor B10398536.
- 2005930636 contributor B10398537.
- 2005930636 created "c2005.".
- 2005930636 date "2005".
- 2005930636 date "c2005.".
- 2005930636 dateCopyrighted "c2005.".
- 2005930636 description "Includes bibliographical references.".
- 2005930636 extent "xi, 287 p. :".
- 2005930636 identifier "3540281959".
- 2005930636 identifier 2005930636-d.html.
- 2005930636 identifier link.asp?id=e7cckhc3aryn.
- 2005930636 isPartOf "Lecture notes in computer science ; 3639".
- 2005930636 issued "2005".
- 2005930636 issued "c2005.".
- 2005930636 language "eng".
- 2005930636 publisher "Berlin : Springer,".
- 2005930636 subject "005.1/4 22".
- 2005930636 subject "Computer software Verification Congresses.".
- 2005930636 subject "QA76.76.V47 I58 2005".
- 2005930636 subject "SPIN (Computer file) Congresses.".
- 2005930636 title "12th International SPIN Workshop".
- 2005930636 title "International SPIN Workshop".
- 2005930636 title "Model checking software : 12th International SPIN Workshop, San Franscisco, CA, USA, August 22-24, 2005 : proceedings / Patrice Godefroid.".
- 2005930636 title "Twelfth International SPIN Workshop".
- 2005930636 type "text".