Matches in Library of Congress for { <http://lccn.loc.gov/2002021114> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 2002021114 contributor B9213875.
- 2002021114 contributor B9213876.
- 2002021114 created "c2002.".
- 2002021114 date "2002".
- 2002021114 date "c2002.".
- 2002021114 dateCopyrighted "c2002.".
- 2002021114 description "Includes bibliographical references and index.".
- 2002021114 extent "x, 257 p. :".
- 2002021114 identifier "3540434771 (softcover : alk. paper)".
- 2002021114 identifier 2002021114-d.html.
- 2002021114 isPartOf "Lecture notes in computer science 2318.".
- 2002021114 isPartOf "Lecture notes in computer science, 0302-9743 ; 2318. Lecture notes in artificial intelligence".
- 2002021114 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 2002021114 issued "2002".
- 2002021114 issued "c2002.".
- 2002021114 language "eng".
- 2002021114 publisher "Berlin ; New York : Springer,".
- 2002021114 subject "005.1/4 21".
- 2002021114 subject "Computer software Verification Congresses.".
- 2002021114 subject "QA76.76.V47 I58 2002".
- 2002021114 subject "SPIN (Computer file) Congresses.".
- 2002021114 title "Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings / Dragan Bošnački, Stefan Leue [eds.].".
- 2002021114 type "text".