Matches in Library of Congress for { <http://lccn.loc.gov/2004102408> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 2004102408 contributor B9874835.
- 2004102408 contributor B9874836.
- 2004102408 created "c2004.".
- 2004102408 date "2004".
- 2004102408 date "c2004.".
- 2004102408 dateCopyrighted "c2004.".
- 2004102408 description "Includes bibliographical references and index.".
- 2004102408 extent "x, 307 p. :".
- 2004102408 identifier "3540213147".
- 2004102408 identifier 2004102408-d.html.
- 2004102408 isPartOf "Lecture notes in computer science ; 2989".
- 2004102408 issued "2004".
- 2004102408 issued "c2004.".
- 2004102408 language "eng".
- 2004102408 publisher "Berlin ; New York : Springer,".
- 2004102408 subject "Computer software Verification Congresses.".
- 2004102408 subject "QA76.76.V47 I58 2004".
- 2004102408 subject "SPIN (Computer file) Congresses.".
- 2004102408 title "Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings / Susanne Graf, Laurent Mounier, eds.".
- 2004102408 type "text".