Matches in Library of Congress for { <http://lccn.loc.gov/2004041899> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 2004041899 contributor B9844620.
- 2004041899 created "c2003.".
- 2004041899 date "2003".
- 2004041899 date "c2003.".
- 2004041899 dateCopyrighted "c2003.".
- 2004041899 description "Includes bibliographical references and index.".
- 2004041899 extent "xv, 782 p. :".
- 2004041899 identifier "3540210024".
- 2004041899 identifier 2004041899-d.html.
- 2004041899 isPartOf "Lecture notes in computer science ; 2772".
- 2004041899 issued "2003".
- 2004041899 issued "c2003.".
- 2004041899 language "eng".
- 2004041899 publisher "Berlin ; New York : Springer-Verlag,".
- 2004041899 subject "005.1/4 22".
- 2004041899 subject "Computer software Verification.".
- 2004041899 subject "QA76.76.V47 V48 2003".
- 2004041899 title "Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday / Nachum Dershowitz (ed.)".
- 2004041899 type "text".