Matches in Library of Congress for { <http://lccn.loc.gov/2011923074> ?p ?o. }
Showing items 1 to 17 of
17
with 100 items per page.
- 2011923074 contributor B12414086.
- 2011923074 contributor B12414087.
- 2011923074 date "2011".
- 2011923074 description "Includes bibliographical references and author index.".
- 2011923074 extent "x, 196 pages :".
- 2011923074 identifier "9783642195822 (pbk. : alk. paper)".
- 2011923074 isPartOf "LNCS Sublibrary: SL 2 : programming and software engineering".
- 2011923074 isPartOf "Lecture notes in computer science, 0302-9743 ; 6504".
- 2011923074 issued "2011".
- 2011923074 language "eng".
- 2011923074 subject "Computer input-output equipment Congresses.".
- 2011923074 subject "Computer programs Verification Congresses.".
- 2011923074 subject "Computer software Verification Congresses.".
- 2011923074 subject "QA76.76.V47 I54 2010".
- 2011923074 subject "Software architecture Congresses.".
- 2011923074 title "Hardware and software : verification and testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 : revised selected papers / Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz, eds.".
- 2011923074 type "text".