Matches in Library of Congress for { <http://lccn.loc.gov/2009938641> ?p ?o. }
Showing items 1 to 46 of
46
with 100 items per page.
- 2009938641 contributor B11732620.
- 2009938641 contributor B11732621.
- 2009938641 created "c2009.".
- 2009938641 date "2009".
- 2009938641 date "c2009.".
- 2009938641 dateCopyrighted "c2009.".
- 2009938641 description "Includes bibliographical references and index.".
- 2009938641 extent "xiv, 758 p. :".
- 2009938641 hasFormat "Also issued online.".
- 2009938641 identifier "3642103723 (pbk.)".
- 2009938641 identifier "9783642103728 (pbk.)".
- 2009938641 identifier F?func=service&doc_library=BVB01&doc_number=018700909&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.
- 2009938641 identifier 04.
- 2009938641 isFormatOf "Also issued online.".
- 2009938641 isPartOf "LNCS sublibrary. SL 2 Programming and software engineering.".
- 2009938641 isPartOf "LNCS sublibrary: SL 2-programming and software engineering".
- 2009938641 isPartOf "Lecture notes in computer science ; 5885.".
- 2009938641 isPartOf "Lecture notes in computer science, 0302-9743 ; 5885".
- 2009938641 issued "2009".
- 2009938641 issued "c2009.".
- 2009938641 language "eng".
- 2009938641 publisher "Berlin ; New York : Springer,".
- 2009938641 relation "Also issued online.".
- 2009938641 spatial "Rio de Janeiro <2009>".
- 2009938641 subject "004n/a".
- 2009938641 subject "Fehlertoleranz. swd".
- 2009938641 subject "Formal methods (Computer science) Congresses.".
- 2009938641 subject "Formale Methode. swd".
- 2009938641 subject "Model Checking. swd".
- 2009938641 subject "Programmanalyse Model Checking Kongress Rio de Janeiro <2009>".
- 2009938641 subject "Programmanalyse. swd".
- 2009938641 subject "Programmtest Formale Methode Kongress Rio de Janeiro <2009>".
- 2009938641 subject "Programmtest. swd".
- 2009938641 subject "QA76.9.F67 I5788 2009".
- 2009938641 subject "Software engineering Congresses.".
- 2009938641 subject "Softwareentwicklung Formale Methode Kongress Rio de Janeiro <2009>".
- 2009938641 subject "Softwareentwicklung Verifikation Formale Methode Kongress Rio de Janeiro <2009>".
- 2009938641 subject "Softwareentwicklung. swd".
- 2009938641 subject "Systementwicklung Zuverlässigkeit Fehlertoleranz Kongress Rio de Janeiro <2009>".
- 2009938641 subject "Systementwicklung. swd".
- 2009938641 subject "Verifikation. swd".
- 2009938641 subject "Zuverlässigkeit. swd".
- 2009938641 title "Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings / Karin Breitman, Ana Cavalcanti (eds.).".
- 2009938641 type "Kongress. swd".
- 2009938641 type "Rio de Janeiro (2009) swd".
- 2009938641 type "text".