Matches in Library of Congress for { <http://lccn.loc.gov/2006922236> ?p ?o. }
Showing items 1 to 34 of
34
with 100 items per page.
- 2006922236 alternative "13th International SPIN Workshop".
- 2006922236 alternative "Added cover title: European Joint Conferences on Theory and Practice of Software".
- 2006922236 alternative "International SPIN Workshop".
- 2006922236 alternative "Thirteenth International SPIN Workshop".
- 2006922236 contributor B10734791.
- 2006922236 contributor B10734792.
- 2006922236 created "2006.".
- 2006922236 date "2006".
- 2006922236 date "2006.".
- 2006922236 dateCopyrighted "2006.".
- 2006922236 description "Includes bibliographical references and index.".
- 2006922236 extent "x, 305 p. :".
- 2006922236 hasFormat "Also issued online.".
- 2006922236 identifier "3540331026 (pbk.)".
- 2006922236 identifier "9783540331025".
- 2006922236 identifier openurl.asp?genre=issue&issn=0302-9743&volume=3925.
- 2006922236 identifier 2006922236-d.html.
- 2006922236 isFormatOf "Also issued online.".
- 2006922236 isPartOf "Lecture notes in computer science, 0302-9743 ; 3925".
- 2006922236 issued "2006".
- 2006922236 issued "2006.".
- 2006922236 language "eng".
- 2006922236 publisher "Berlin ; New York : Springer,".
- 2006922236 relation "Also issued online.".
- 2006922236 subject "005.1/4 22".
- 2006922236 subject "Computer software Verification Congresses.".
- 2006922236 subject "QA76.76.V47 I58 2006".
- 2006922236 subject "SPIN (Computer file) Congresses.".
- 2006922236 title "13th International SPIN Workshop".
- 2006922236 title "Added cover title: European Joint Conferences on Theory and Practice of Software".
- 2006922236 title "International SPIN Workshop".
- 2006922236 title "Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings / Antti Valmari (ed.).".
- 2006922236 title "Thirteenth International SPIN Workshop".
- 2006922236 type "text".