Matches in Library of Congress for { <http://lccn.loc.gov/2009938928> ?p ?o. }
Showing items 1 to 45 of
45
with 100 items per page.
- 2009938928 alternative "SBMF 2009".
- 2009938928 contributor B11732820.
- 2009938928 contributor B11732821.
- 2009938928 created "2009.".
- 2009938928 date "2009".
- 2009938928 date "2009.".
- 2009938928 dateCopyrighted "2009.".
- 2009938928 description "Includes bibliographical references and author index.".
- 2009938928 extent "x, 349 p. :".
- 2009938928 identifier "3642104517 (pbk.)".
- 2009938928 identifier "9783642104510 (pbk.)".
- 2009938928 identifier F?func=service&doc_library=BVB01&doc_number=018687375&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.
- 2009938928 isPartOf "LNCS sublibrary. SL 2, Programming and software engineering.".
- 2009938928 isPartOf "LNCS sublibrary: SL 2 - Programming and software engineering".
- 2009938928 isPartOf "Lecture notes in computer science ; 5902.".
- 2009938928 isPartOf "Lecture notes in computer science, 0302-9743 ; 5902".
- 2009938928 issued "2009".
- 2009938928 issued "2009.".
- 2009938928 language "eng".
- 2009938928 publisher "Berlin ; New York : Springer,".
- 2009938928 spatial "Gramado <2009>".
- 2009938928 subject "004".
- 2009938928 subject "Fehlertoleranz Formale Methode Kongress Gramado <2009>".
- 2009938928 subject "Fehlertoleranz. swd".
- 2009938928 subject "Formal methods (Computer science) Congresses.".
- 2009938928 subject "Formale Methode. swd".
- 2009938928 subject "Interrupt (Informatik) swd".
- 2009938928 subject "Model Checking Kongress Gramado <2009>".
- 2009938928 subject "Model Checking. swd".
- 2009938928 subject "Programmverifikation. swd".
- 2009938928 subject "QA76.9.F67 B73 2009".
- 2009938928 subject "Sicherheitskritisches System Interrupt <Informatik> Formale Methode Kongress Gramado <2009>".
- 2009938928 subject "Sicherheitskritisches System. swd".
- 2009938928 subject "Software Testen Programmverifikation Formale Methode Kongress Gramado <2009>".
- 2009938928 subject "Software. swd".
- 2009938928 subject "Testen. swd".
- 2009938928 subject "Verifikation Formale Methode Kongress Gramado <2009>".
- 2009938928 subject "Verifikation. swd".
- 2009938928 title "Formal methods : foundations and applications ; 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 ; revised selected papers / Marcel Vinicius Medeiros Oliveira, Jim Woodcock (eds.).".
- 2009938928 title "SBMF 2009".
- 2009938928 type "Gramado (2009) swd".
- 2009938928 type "Kongress (2009) swd".
- 2009938928 type "Kongress. swd".
- 2009938928 type "Online-Publikation. swd".
- 2009938928 type "text".