Matches in Library of Congress for { <http://lccn.loc.gov/2009930950> ?p ?o. }
Showing items 1 to 50 of
50
with 100 items per page.
- 2009930950 alternative "FMICS 2008".
- 2009930950 contributor B11727555.
- 2009930950 contributor B11727556.
- 2009930950 created "c2009.".
- 2009930950 date "2009".
- 2009930950 date "c2009.".
- 2009930950 dateCopyrighted "c2009.".
- 2009930950 description "Includes bibliographical references and index.".
- 2009930950 extent "x, 231 p. :".
- 2009930950 identifier "3642032397 (pbk.)".
- 2009930950 identifier "9783642032394 (pbk.)".
- 2009930950 identifier F?func=service&doc_library=BVB01&doc_number=017702424&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.
- 2009930950 identifier 04.
- 2009930950 isPartOf "LNCS sublibrary. SL 2 Programming and software engineering.".
- 2009930950 isPartOf "LNCS sublibrary. SL 2, Programming and software engineering".
- 2009930950 isPartOf "Lecture notes in computer science ; 5596.".
- 2009930950 isPartOf "Lecture notes in computer science, 0302-9743 ; 5596".
- 2009930950 issued "2009".
- 2009930950 issued "c2009.".
- 2009930950 language "eng".
- 2009930950 publisher "Berlin ; New York : Springer,".
- 2009930950 spatial "L'Aquila <2008>".
- 2009930950 subject "004n/a".
- 2009930950 subject "Computer programs Reliability Congresses.".
- 2009930950 subject "Computer programs Verification Congresses.".
- 2009930950 subject "Computer software Reliability Congresses.".
- 2009930950 subject "Computer software Verification Congresses.".
- 2009930950 subject "Eingebettetes System. swd".
- 2009930950 subject "Fehlertoleranz. swd".
- 2009930950 subject "Formal methods (Computer science) Congresses.".
- 2009930950 subject "Formale Methode. swd".
- 2009930950 subject "Model Checking. swd".
- 2009930950 subject "Programmverifikation Softwarespezifikation Formale Methode Zuverlässigkeit Kongress L'Aquila <2008>".
- 2009930950 subject "Programmverifikation. swd".
- 2009930950 subject "QA76.9.F67 I594 2008".
- 2009930950 subject "Sicherheitskritisches System Eingebettetes System Softwareentwicklung Zuverlässigkeit Kongress L'Aquila <2008>".
- 2009930950 subject "Sicherheitskritisches System. swd".
- 2009930950 subject "Software engineering Congresses.".
- 2009930950 subject "Softwareentwicklung Zuverlässigkeit Fehlertoleranz Formale Methode Kongress L'Aquila <2008>".
- 2009930950 subject "Softwareentwicklung. swd".
- 2009930950 subject "Softwarespezifikation. swd".
- 2009930950 subject "Systementwurf Model Checking Verifikation Formale Methode Kongress L'Aquila <2008>".
- 2009930950 subject "Systementwurf. swd".
- 2009930950 subject "Verifikation. swd".
- 2009930950 subject "Zuverlässigkeit. swd".
- 2009930950 title "FMICS 2008".
- 2009930950 title "Formal methods for industrial critical systems : 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers / Darren Cofer, Alessandro Fantechi (eds.).".
- 2009930950 type "Kongress. swd".
- 2009930950 type "L'Aquila (2008) swd".
- 2009930950 type "text".