عنوان
پدید آورنده
موضوع
رده
QA76.9.A96 A88 2011
QA76
.
9
.
A96
A88
2011
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642243711
(Number (ISBN
364224372X
(Number (ISBN
9783642243714
(Number (ISBN
9783642243721
Erroneous ISBN
9783642243714
NATIONAL BIBLIOGRAPHY NUMBER
Number
b434253
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Automated technology for verification and analysis :
General Material Designation
[Book]
Other Title Information
9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings /
First Statement of Responsibility
Tevfik Bultan, Pao-Ann Hsiung (editions.)
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xiv, 532 pages) :
Other Physical Details
illustrations (some color)
SERIES
Series Title
Lecture notes in computer science,
Volume Designation
6996
ISSN of Series
0302-9743 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
SUMMARY OR ABSTRACT
Text of Note
This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011. The 23 revised regular papers presented together with 5 invited papers, 11 short papers, and 2 tool papers, were carefully reviewed and selected from 75 submissions. The papers address all theoretical and practical aspects of automated analysis, verification and synthesis; thus providing a forum for interaction between the regional and the international research communities and industry in the field
PARALLEL TITLE PROPER
Parallel Title
ATVA 2011
TOPICAL NAME USED AS SUBJECT
Artificial intelligence, Congresses
Automatic theorem proving, Congresses
DEWEY DECIMAL CLASSIFICATION
Number
006
.
3/33
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
A96
Book number
A88
2011
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Bultan, Tevfik
Hsiung, Pao-Ann
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
ATVA (Symposium)(9th :2011 :, Taipei, Taiwan)
ORIGINATING SOURCE
Date of Transaction
20170726082128.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
