|
" Automated technology for verification and analysis "
Zhiming Liu, Anders P. Ravn (eds.)
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
604694
|
| Doc. No
|
:
|
b433913
|
| Main Entry
|
:
|
ATVA 2009(2009 :, Macau, China)
|
| Title & Author
|
:
|
Automated technology for verification and analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, proceedings /\ Zhiming Liu, Anders P. Ravn (eds.)
|
| Publication Statement
|
:
|
Berlin :: Springer-Verlag,, c2009
|
| Series Statement
|
:
|
Lecture notes in computer science ;; 5799
|
|
|
:
|
LNCS sublibrary. SL 2 Programming and software engineering
|
| Page. NO
|
:
|
1 online resource (xi, 414 p.) :: ill
|
| ISBN
|
:
|
9783642047619
|
|
|
:
|
: 3642047610
|
|
|
:
|
9783642047602
|
|
|
:
|
3642047602
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index
|
| Subject
|
:
|
Automatic theorem proving, Congresses
|
| Subject
|
:
|
Artificial intelligence, Congresses
|
| LC Classification
|
:
|
QA76.9.A96A88 2009
|
| Added Entry
|
:
|
Liu, Zhiming,1961-
|
|
|
:
|
Ravn, Anders P
|
| Parallel Title
|
:
|
ATVA 2009
|
| |