Matches in Library of Congress for { <http://lccn.loc.gov/2004043677> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 2004043677 contributor B9846616.
- 2004043677 contributor B9846617.
- 2004043677 contributor B9846618.
- 2004043677 created "2004.".
- 2004043677 date "2004".
- 2004043677 date "2004.".
- 2004043677 dateCopyrighted "2004.".
- 2004043677 description "Includes bibliographical references and index.".
- 2004043677 extent "p. cm.".
- 2004043677 identifier "3540208038 (alk. paper)".
- 2004043677 identifier 2004043677-d.html.
- 2004043677 isPartOf "Lecture notes in computer science, 0302-9743 ; 2937".
- 2004043677 issued "2004".
- 2004043677 issued "2004.".
- 2004043677 language "eng".
- 2004043677 publisher "New York : Springer,".
- 2004043677 subject "005.1/4 22".
- 2004043677 subject "Computer programs Verification Congresses.".
- 2004043677 subject "QA76.76.V47 V53 2004".
- 2004043677 title "Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings / Bernhard Steffen, Giorgio Levi (eds).".
- 2004043677 type "text".