Matches in Library of Congress for { <http://lccn.loc.gov/2009935005> ?p ?o. }
Showing items 1 to 43 of
43
with 100 items per page.
- 2009935005 contributor B11730252.
- 2009935005 contributor B11730253.
- 2009935005 created "c2009.".
- 2009935005 date "2009".
- 2009935005 date "c2009.".
- 2009935005 dateCopyrighted "c2009.".
- 2009935005 description "Includes bibliographical references and index.".
- 2009935005 extent "201 p. :".
- 2009935005 hasFormat "Also issued online.".
- 2009935005 identifier "3642046932".
- 2009935005 identifier "9783642046933".
- 2009935005 identifier 2009935005-d.html.
- 2009935005 isFormatOf "Also issued online.".
- 2009935005 isPartOf "LNCS sublibrary. SL 2, Programming and software engineering.".
- 2009935005 isPartOf "LNCS sublibrary: SL 2-programming and software engineering".
- 2009935005 isPartOf "Lecture notes in computer science ; 5779.".
- 2009935005 isPartOf "Lecture notes in computer science, 0302-9743 ; 5779".
- 2009935005 issued "2009".
- 2009935005 issued "c2009.".
- 2009935005 language "eng".
- 2009935005 publisher "Berlin ; New York : Springer,".
- 2009935005 relation "Also issued online.".
- 2009935005 subject "005.1/17 23".
- 2009935005 subject "Aspect-oriented programming Congresses.".
- 2009935005 subject "Computer software Testing Congresses.".
- 2009935005 subject "Computer software Verification Congresses.".
- 2009935005 subject "Computersicherheit. swd".
- 2009935005 subject "Datensicherung. swd".
- 2009935005 subject "Echtzeitsystem. swd".
- 2009935005 subject "Echtzeitverarbeitung. swd".
- 2009935005 subject "Formal methods (Computer science) Congresses.".
- 2009935005 subject "Formale Methode. swd".
- 2009935005 subject "Model Checking. swd".
- 2009935005 subject "Monitoring (Informatik) swd".
- 2009935005 subject "QA76.76.V47 R88 2009".
- 2009935005 subject "Software. swd".
- 2009935005 subject "Testen. swd".
- 2009935005 subject "Verifikation. swd".
- 2009935005 title "Runtime verification : 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers / Saddek Bensalem, Doron A. Peled (eds.).".
- 2009935005 type "Grenobble (2009) swd".
- 2009935005 type "Grenoble (2009) swd".
- 2009935005 type "Kongress. swd".
- 2009935005 type "text".