عنوان
پدید آورنده
موضوع
رده
QA76.9.A96 A88 2009
QA76
.
9
.
A96
A88
2009
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642047610
(Number (ISBN
9783642047619
Erroneous ISBN
3642047602
Erroneous ISBN
9783642047602
NATIONAL BIBLIOGRAPHY NUMBER
Number
b433913
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Automated technology for verification and analysis
General Material Designation
[Book]
Other Title Information
7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, proceedings /
First Statement of Responsibility
Zhiming Liu, Anders P. Ravn (eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin :
Name of Publisher, Distributor, etc.
Springer-Verlag,
Date of Publication, Distribution, etc.
c2009
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xi, 414 p.) :
Other Physical Details
ill
SERIES
Series Title
Lecture notes in computer science ;
Series Title
LNCS sublibrary. SL 2 Programming and software engineering
Volume Designation
5799
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
OTHER EDITION IN ANOTHER MEDIUM
Title
Automated technology for verification and analysis.
International Standard Book Number
9783642047602
PIECE
Title
SpringerLink
PARALLEL TITLE PROPER
Parallel Title
ATVA 2009
TOPICAL NAME USED AS SUBJECT
Artificial intelligence, Congresses
Automatic theorem proving, Congresses
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
A96
Book number
A88
2009
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Liu, Zhiming,1961-
Ravn, Anders P
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
ATVA 2009(2009 :, Macau, China)
ORIGINATING SOURCE
Date of Transaction
20120501034636.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
