عنوان
پدید آورنده
موضوع
رده
QA76.9.A96
QA76
.
9
.
A96
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3030010902
(Number (ISBN
9783030010904
Erroneous ISBN
3030010899
Erroneous ISBN
9783030010898
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Automated technology for verification and analysis :
General Material Designation
[Book]
Other Title Information
16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings /
First Statement of Responsibility
Shuvendu K. Lahiri, Chao Wang (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham, Switzerland :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
2018.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xiii, 560 pages) :
Other Physical Details
illustrations
SERIES
Series Title
Lecture notes in computer science ;
Series Title
LNCS sublibrary. SL 2, Programming and software engineering
Volume Designation
11138
GENERAL NOTES
Text of Note
Includes author index.
CONTENTS NOTE
Text of Note
Formal Methods -- Verification -- Program Synthesis -- Model Checking -- Theorem Proving -- Software Verification -- SAT Solver -- SMT Solver -- Automaton Logic.
0
SUMMARY OR ABSTRACT
Text of Note
This book constitutes the refereed proceedings of the 24th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018. The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions. The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field.
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
Springer Nature
Stock Number
com.springer.onix.9783030010904
OTHER EDITION IN ANOTHER MEDIUM
International Standard Book Number
9783030010898
International Standard Book Number
9783030010911
PARALLEL TITLE PROPER
Parallel Title
ATVA 2018
TOPICAL NAME USED AS SUBJECT
Artificial intelligence, Congresses.
Automatic theorem proving, Congresses.
3D graphics & modelling.
Artificial intelligence.
Automatic theorem proving.
Computer programming-- software development.
Computer security.
Computers-- Computer Simulation.
Computers-- Programming-- General.
Computers-- Programming Languages-- General.
Computers-- Security-- General.
Computers-- Software Development & Engineering-- General.
Mathematical theory of computation.
Mathematics-- Logic.
Programming & scripting languages: general.
Software Engineering.
(SUBJECT CATEGORY (Provisional
COM051230
UMZ
UMZ
DEWEY DECIMAL CLASSIFICATION
Number
006
.
3/33
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
A96
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Lahiri, Shuvendu
Wang, Chao,1985-
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
ATVA (Symposium)(16th :2018 :, Los Angeles, Calif.)
ORIGINATING SOURCE
Date of Transaction
20200823072549.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
