Matches in Library of Congress for { <http://lccn.loc.gov/2010934239> ?p ?o. }
Showing items 1 to 38 of
38
with 100 items per page.
- 2010934239 contributor B12093790.
- 2010934239 contributor B12093791.
- 2010934239 coverage "Antwerpen <2010> swd".
- 2010934239 created "2010.".
- 2010934239 date "2010".
- 2010934239 date "2010.".
- 2010934239 dateCopyrighted "2010.".
- 2010934239 description "Includes bibliographical references and index.".
- 2010934239 extent "xii, 230 p. :".
- 2010934239 hasFormat "Also issued online.".
- 2010934239 identifier "3642158978 (pbk. : alk. paper)".
- 2010934239 identifier "9783642158971 (pbk. : alk. paper)".
- 2010934239 isFormatOf "Also issued online.".
- 2010934239 isPartOf "LNCS sublibrary: SL 2-programming and software engineering".
- 2010934239 isPartOf "Lecture notes in computer science, 0302-9743 ; 6371".
- 2010934239 issued "2010".
- 2010934239 issued "2010.".
- 2010934239 language "eng".
- 2010934239 publisher "Berlin ; New York : Springer,".
- 2010934239 relation "Also issued online.".
- 2010934239 spatial "Antwerpen <2010> swd".
- 2010934239 subject "005.131 22/ger".
- 2010934239 subject "Computer programs Reliability Congresses.".
- 2010934239 subject "Computer programs Verification Congresses.".
- 2010934239 subject "Computer software Verification Congresses.".
- 2010934239 subject "Formal methods (Computer science) Congresses.".
- 2010934239 subject "Formale Methode. swd".
- 2010934239 subject "Model Checking. swd".
- 2010934239 subject "QA76.9.F67 I594 2010".
- 2010934239 subject "Sicherheitskritisches System. swd".
- 2010934239 subject "Software engineering Congresses.".
- 2010934239 subject "Softwareentwicklung. swd".
- 2010934239 subject "Systementwurf. swd".
- 2010934239 subject "Verifikation. swd".
- 2010934239 subject "Zuverlässigkeit. swd".
- 2010934239 title "Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010 : proceedings / Stefan Kowalewski, Marco Roveri (eds.).".
- 2010934239 type "Kongress. swd".
- 2010934239 type "text".