Automated technology for verification and analysis 7th international symposium, ATVA 2009, Macao, China, October 14-16, 2009, proceedings / Zhiming Liu, Anders P. Ravn (eds.).

Author/creator ATVA 2009
Other author Liu, Zhiming, 1961-
Other author Ravn, Anders P.
Format Electronic
Publication InfoBerlin : Springer,
Descriptionxi, 414 p. : ill. ; 24 cm.
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Supplemental ContentFull text available from Springer Nature - Springer Computer Science eBooks 2009 English International
Supplemental ContentFull text available from Springer Books
Subjects
Automatic theorem proving--Congresses.
Formale Methode--Verifikation. --Model Checking. --Kongress. --Macao <2009>.
Softwareentwicklung--Hardwareentwurf. --Verifikation. --Model Checking. --Kongress. --Macao <2009>.
Systementwurf--Systemanalyse. --Formale Methode. --Verifikation. --Kongress. --Macao <2009>.
Zeitbehafteter Automat--Eingebettetes System. --Hybrides System. --Formale Methode. --Kongress. --Macao <2009>.
Zeitbehafteter Automat--Eingebettetes System. --Hybrides System. --Model Checking. --Kongress. --Macao <2009>.

SeriesLecture notes in computer science, 0302-9743 ; 5799
Lecture notes in computer science ; 5799. ^A466336
General noteInternational conference proceedings.
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2009935680
ISBN9783642047602 (pbk.)
ISBN3642047602 (pbk.)
Publisher number12768271

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available