Matches in Library of Congress for { <http://lccn.loc.gov/2005937944> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 2005937944 contributor B10404196.
- 2005937944 contributor B10404197.
- 2005937944 created "2006.".
- 2005937944 date "2006".
- 2005937944 date "2006.".
- 2005937944 dateCopyrighted "2006.".
- 2005937944 description "Includes bibliographical references and index.".
- 2005937944 extent "xi, 442 p. :".
- 2005937944 identifier "3540311394 (soft cover : alk. paper)".
- 2005937944 identifier "9783540311393 (soft cover : alk. paper)".
- 2005937944 identifier 2005937944-d.html.
- 2005937944 isPartOf "Lecture notes in computer science, 0302-9743 ; 3855".
- 2005937944 issued "2006".
- 2005937944 issued "2006.".
- 2005937944 language "eng".
- 2005937944 publisher "Berlin ; New York : Springer-Verlag,".
- 2005937944 subject "005.14 22".
- 2005937944 subject "Computer programs Verification Congresses.".
- 2005937944 subject "QA76.76.V47 V53 2006".
- 2005937944 title "Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings / [edited by] E. Allen Emerson, Kedar S. Namjoshi.".
- 2005937944 type "text".