Matches in Library of Congress for { <http://lccn.loc.gov/2012954174> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- 2012954174 alternative "LASER, International Summer School 2011.".
- 2012954174 contributor B12706366.
- 2012954174 contributor B12706365.
- 2012954174 created "c2012.".
- 2012954174 date "2012".
- 2012954174 date "c2012.".
- 2012954174 dateCopyrighted "c2012.".
- 2012954174 description "Includes bibliographical references and author index.".
- 2012954174 extent "181 p. :".
- 2012954174 identifier "3642357458 (pbk. : alk. paper)".
- 2012954174 identifier "9783642357459 (pbk. : alk. paper)".
- 2012954174 isPartOf "LNCS sublibrary. SL 2, Programming and software engineering.".
- 2012954174 isPartOf "Lecture notes in computer science ; 7682.".
- 2012954174 isPartOf "Lecture notes in computer science, 0302-9743 ; 7682.".
- 2012954174 isPartOf "Lecture notes in computer science. Tutorial.".
- 2012954174 issued "2012".
- 2012954174 issued "c2012.".
- 2012954174 language "eng".
- 2012954174 publisher "Berlin ; New York : Springer,".
- 2012954174 subject "005.1/4 23".
- 2012954174 subject "Computer software Verification Congresses.".
- 2012954174 subject "QA76.76.V47 L37 2011".
- 2012954174 subject "Software engineering Congresses.".
- 2012954174 title "LASER, International Summer School 2011.".
- 2012954174 title "Tools for practical software verification : LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures / Bertrand Meyer, Martin Nordio (eds.).".
- 2012954174 type "text".