Matches in Library of Congress for { <http://lccn.loc.gov/2009935680> ?p ?o. }
Showing items 1 to 39 of
39
with 100 items per page.
- 2009935680 contributor B11730667.
- 2009935680 contributor B11730668.
- 2009935680 created "c2009.".
- 2009935680 date "2009".
- 2009935680 date "c2009.".
- 2009935680 dateCopyrighted "c2009.".
- 2009935680 description "Includes bibliographical references and index.".
- 2009935680 extent "xi, 414 p. :".
- 2009935680 identifier "3642047602 (pbk.)".
- 2009935680 identifier "9783642047602 (pbk.)".
- 2009935680 isPartOf "Lecture notes in computer science ; 5799.".
- 2009935680 isPartOf "Lecture notes in computer science, 0302-9743 ; 5799".
- 2009935680 issued "2009".
- 2009935680 issued "c2009.".
- 2009935680 language "eng".
- 2009935680 publisher "Berlin : Springer,".
- 2009935680 spatial "Macao <2009>".
- 2009935680 subject "004n/a".
- 2009935680 subject "Automatic theorem proving Congresses.".
- 2009935680 subject "Eingebettetes System. swd".
- 2009935680 subject "Formale Methode Verifikation Model Checking Kongress Macao <2009>".
- 2009935680 subject "Formale Methode. swd".
- 2009935680 subject "Hardwareentwurf. swd".
- 2009935680 subject "Hybrides System. swd".
- 2009935680 subject "Model Checking. swd".
- 2009935680 subject "QA76.9.A96 A82 2009".
- 2009935680 subject "Softwareentwicklung Hardwareentwurf Verifikation Model Checking Kongress Macao <2009>".
- 2009935680 subject "Softwareentwicklung. swd".
- 2009935680 subject "Systemanalyse. swd".
- 2009935680 subject "Systementwurf Systemanalyse Formale Methode Verifikation Kongress Macao <2009>".
- 2009935680 subject "Systementwurf. swd".
- 2009935680 subject "Verifikation. swd".
- 2009935680 subject "Zeitbehafteter Automat Eingebettetes System Hybrides System Formale Methode Kongress Macao <2009>".
- 2009935680 subject "Zeitbehafteter Automat Eingebettetes System Hybrides System Model Checking Kongress Macao <2009>".
- 2009935680 subject "Zeitbehafteter Automat. swd".
- 2009935680 title "Automated technology for verification and analysis : 7th international symposium, ATVA 2009, Macao, China, October 14-16, 2009, proceedings / Zhiming Liu, Anders P. Ravn (eds.)".
- 2009935680 type "Kongress. swd".
- 2009935680 type "Macao (2009) swd".
- 2009935680 type "text".