Matches in Library of Congress for { <http://lccn.loc.gov/2002042949> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 2002042949 contributor B9233655.
- 2002042949 contributor B9233656.
- 2002042949 created "c2003.".
- 2002042949 date "2003".
- 2002042949 date "c2003.".
- 2002042949 dateCopyrighted "c2003.".
- 2002042949 description "Includes bibliographical references and index.".
- 2002042949 extent "xi, 323 p. :".
- 2002042949 identifier "3540003487 (softcover : alk. paper)".
- 2002042949 identifier 2002042949-d.html.
- 2002042949 isPartOf "Lecture notes in computer science ; 2575".
- 2002042949 issued "2003".
- 2002042949 issued "c2003.".
- 2002042949 language "eng".
- 2002042949 publisher "Berlin ; New York : Springer,".
- 2002042949 subject "005.1/4 21".
- 2002042949 subject "Computer programs Verification Congresses.".
- 2002042949 subject "QA76.76.V47 V53 2003".
- 2002042949 title "Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings / Lenore D. Zuck ... [et al.].".
- 2002042949 type "text".