Matches in Library of Congress for { <http://lccn.loc.gov/2008935491> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2008935491 alternative "VSTTE 2008".
- 2008935491 contributor B11386331.
- 2008935491 contributor B11386332.
- 2008935491 created "c2008.".
- 2008935491 date "2008".
- 2008935491 date "c2008.".
- 2008935491 dateCopyrighted "c2008.".
- 2008935491 description "Includes bibliographical references and index.".
- 2008935491 extent "xii, 262 p. :".
- 2008935491 identifier "3540878726 (softcover : alk. paper)".
- 2008935491 identifier "9783540878728 (softcover : alk. paper)".
- 2008935491 isPartOf "Lecture notes in computer science, 0302-9743 ; 5295".
- 2008935491 issued "2008".
- 2008935491 issued "c2008.".
- 2008935491 language "eng".
- 2008935491 publisher "New York : Springer,".
- 2008935491 subject "005.1/4 22".
- 2008935491 subject "Computer programs Verification Congresses.".
- 2008935491 subject "QA76.76.V47 V59 2008".
- 2008935491 title "VSTTE 2008".
- 2008935491 title "Verified software : theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings / Natarajan Shankar, Jim Woodcock (eds.).".
- 2008935491 type "text".