Matches in Library of Congress for { <http://lccn.loc.gov/2011920830> ?p ?o. }
Showing items 1 to 40 of
40
with 100 items per page.
- 2011920830 contributor B12412901.
- 2011920830 contributor B12412902.
- 2011920830 coverage "Haifa <2009> swd".
- 2011920830 created "2011.".
- 2011920830 date "2011".
- 2011920830 date "2011.".
- 2011920830 dateCopyrighted "2011.".
- 2011920830 description "Includes bibliographical references and index.".
- 2011920830 extent "x, 168 p. :".
- 2011920830 format "text/html".
- 2011920830 hasFormat "Also issued online.".
- 2011920830 identifier "364219236X (pbk. : acid-free paper)".
- 2011920830 identifier "9783642192364 (pbk. : acid-free paper)".
- 2011920830 identifier 04.
- 2011920830 identifier dokserv?id=3654997&prov=M&dok_var=1&dok_ext=htm.
- 2011920830 isFormatOf "Also issued online.".
- 2011920830 isPartOf "LNCS sublibrary. SL 2, Programming and software engineering.".
- 2011920830 isPartOf "LNCS sublibrary: SL 2-programming and software engineering".
- 2011920830 isPartOf "Lecture notes in computer science ; 6405.".
- 2011920830 isPartOf "Lecture notes in computer science, 0302-9743 ; 6405".
- 2011920830 issued "2011".
- 2011920830 issued "2011.".
- 2011920830 language "eng".
- 2011920830 publisher "Berlin ; New York : Springer,".
- 2011920830 relation "Also issued online.".
- 2011920830 spatial "Haifa <2009> swd".
- 2011920830 subject "004.24 22/ger".
- 2011920830 subject "Computer input-output equipment Congresses.".
- 2011920830 subject "Computer programs Verification Congresses.".
- 2011920830 subject "Computer software Verification Congresses.".
- 2011920830 subject "Hardwareverifikation. swd".
- 2011920830 subject "Model Checking. swd".
- 2011920830 subject "Programmverifikation. swd".
- 2011920830 subject "QA76.76.V47 I54 2009".
- 2011920830 subject "Software architecture Congresses.".
- 2011920830 subject "Software. swd".
- 2011920830 subject "Testen. swd".
- 2011920830 title "Hardware and software : verification and testing : 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers / Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.).".
- 2011920830 type "Kongress. swd".
- 2011920830 type "text".