Matches in Library of Congress for { <http://lccn.loc.gov/2010931860> ?p ?o. }
Showing items 1 to 32 of
32
with 100 items per page.
- 2010931860 contributor B12092251.
- 2010931860 contributor B12092252.
- 2010931860 coverage "Edinburgh <2010> swd".
- 2010931860 created "2010.".
- 2010931860 date "2010".
- 2010931860 date "2010.".
- 2010931860 dateCopyrighted "2010.".
- 2010931860 description "Includes bibliographical references and index.".
- 2010931860 extent "x, 215 p. :".
- 2010931860 hasFormat "Also issued online.".
- 2010931860 identifier "364215056X (pbk. : alk. paper)".
- 2010931860 identifier "9783642150562 (pbk. : alk. paper)".
- 2010931860 isFormatOf "Also issued online.".
- 2010931860 isPartOf "LNCS sublibrary: SL 2-programming and software engineering".
- 2010931860 isPartOf "Lecture notes in computer science ; 6217".
- 2010931860 issued "2010".
- 2010931860 issued "2010.".
- 2010931860 language "eng".
- 2010931860 publisher "Berlin ; New York : Springer,".
- 2010931860 relation "Also issued online.".
- 2010931860 spatial "Edinburgh <2010> swd".
- 2010931860 subject "005.14 22/ger".
- 2010931860 subject "Computer programs Verification Congresses.".
- 2010931860 subject "Formale Methode. swd".
- 2010931860 subject "Programmanalyse. swd".
- 2010931860 subject "Programmtest. swd".
- 2010931860 subject "Programmverifikation. swd".
- 2010931860 subject "QA76.76.V47 V59 2010".
- 2010931860 subject "Software. swd".
- 2010931860 subject "Verifikation. swd".
- 2010931860 title "Verified software : theories, tools, experiments : third international conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 : proceedings / Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani (eds.).".
- 2010931860 type "text".