MARC details
000 -LEADER |
fixed length control field |
01992nam a2200373Ia 4500 |
000 - LEADER |
fixed length control field |
02541nam a22003975i 4500 |
001 - CONTROL NUMBER |
control field |
978-3-031-45329-8 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
DE-He213 |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20240319121126.0 |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
fixed length control field |
cr nn 008mamaa |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
231021s2023 sz | s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9783031453298 |
-- |
978-3-031-45329-8 |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
5.1 |
245 ## - TITLE STATEMENT |
Title |
Automated Technology for Verification and Analysis |
Statement of responsibility, etc. |
edited by Étienne André, Jun Sun. |
Medium |
[electronic resource] : |
250 ## - EDITION STATEMENT |
Edition statement |
1st ed. 2023. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. |
Place of publication, distribution, etc. |
Cham |
Name of publisher, distributor, etc. |
Springer Nature Switzerland |
Date of publication, distribution, etc. |
2023 |
300 ## - PHYSICAL DESCRIPTION |
Extent |
XVI, 446 p. 85 illus., 47 illus. in color. |
Other physical details |
online resource. |
520 ## - SUMMARY, ETC. |
Summary, etc. |
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware. |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Artificial intelligence. |
9 (RLIN) |
38809 |
|
Topical term or geographic name entry element |
Artificial Intelligence. |
9 (RLIN) |
38810 |
|
Topical term or geographic name entry element |
Computer Engineering and Networks. |
9 (RLIN) |
38811 |
|
Topical term or geographic name entry element |
Computer engineering. |
9 (RLIN) |
38812 |
|
Topical term or geographic name entry element |
Computer Hardware. |
9 (RLIN) |
38813 |
|
Topical term or geographic name entry element |
Computer networks . |
9 (RLIN) |
38814 |
|
Topical term or geographic name entry element |
Computer science. |
9 (RLIN) |
38815 |
|
Topical term or geographic name entry element |
Computers. |
9 (RLIN) |
38816 |
|
Topical term or geographic name entry element |
Software engineering. |
9 (RLIN) |
38817 |
|
Topical term or geographic name entry element |
Software Engineering. |
9 (RLIN) |
38818 |
|
Topical term or geographic name entry element |
Theory of Computation. |
9 (RLIN) |
38819 |
700 ## - ADDED ENTRY--PERSONAL NAME |
Personal name |
André, Étienne. |
9 (RLIN) |
38820 |
|
Personal name |
Sun, Jun. |
9 (RLIN) |
38821 |
856 ## - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
<a href="https://doi.org/10.1007/978-3-031-45329-8">https://doi.org/10.1007/978-3-031-45329-8</a> |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Koha item type |
e-Book |
Source of classification or shelving scheme |
Dewey Decimal Classification |