Matches in Library of Congress for { <http://lccn.loc.gov/2009930043> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2009930043 contributor B11726924.
- 2009930043 contributor B11726925.
- 2009930043 created "2009.".
- 2009930043 date "2009".
- 2009930043 date "2009.".
- 2009930043 dateCopyrighted "2009.".
- 2009930043 description "Includes bibliographical references and index.".
- 2009930043 extent "xii, 214 p. :".
- 2009930043 identifier "3642017010 (softcover : alk. paper)".
- 2009930043 identifier "9783642017018 (softcover : alk. paper)".
- 2009930043 isPartOf "Lecture notes in computer science ; 5394".
- 2009930043 issued "2009".
- 2009930043 issued "2009.".
- 2009930043 language "eng".
- 2009930043 publisher "Berlin : Springer,".
- 2009930043 subject "Computer input-output equipment Congresses.".
- 2009930043 subject "Computer programs Verification Congresses.".
- 2009930043 subject "Computer software Verification Congresses.".
- 2009930043 subject "QA76.76.V47 I54 2008".
- 2009930043 subject "Software architecture Congresses.".
- 2009930043 title "Hardware and software : verification and testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 : proceedings / Hana Chockler, Alan J. Hu (eds.).".
- 2009930043 type "text".