MARC details
000 -LEADER |
fixed length control field |
04100naaaa2200733uu 4500 |
001 - CONTROL NUMBER |
control field |
https://directory.doabooks.org/handle/20.500.12854/67926 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
978-3-030-72016-2 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9783030720162 |
024 7# - OTHER STANDARD IDENTIFIER |
Standard number or code |
10.1007/978-3-030-72016-2 |
Terms of availability |
doi |
041 0# - LANGUAGE CODE |
Language code of text/sound track or separate title |
English |
042 ## - AUTHENTICATION CODE |
Authentication code |
dc |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
UY |
Source |
bicssc |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
UT |
Source |
bicssc |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
UM |
Source |
bicssc |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
UYQ |
Source |
bicssc |
100 1# - MAIN ENTRY--PERSONAL NAME |
Personal name |
Groote, Jan Friso |
Relator code |
edt |
9 (RLIN) |
1283261 |
245 10 - TITLE STATEMENT |
Title |
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Name of publisher, distributor, etc |
Springer Nature |
Date of publication, distribution, etc |
2021 |
300 ## - PHYSICAL DESCRIPTION |
Extent |
1 electronic resource (471 p.) |
506 0# - RESTRICTIONS ON ACCESS NOTE |
Terms governing access |
Open Access |
Source of term |
star |
Standardized terminology for access restriction |
Unrestricted online access |
520 ## - SUMMARY, ETC. |
Summary, etc |
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 - April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers. |
540 ## - TERMS GOVERNING USE AND REPRODUCTION NOTE |
Terms governing use and reproduction |
Creative Commons |
-- |
https://creativecommons.org/licenses/by/4.0/ |
-- |
cc |
-- |
https://creativecommons.org/licenses/by/4.0/ |
546 ## - LANGUAGE NOTE |
Language note |
English |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computer science |
Source of heading or term |
bicssc |
9 (RLIN) |
57974 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computer networking & communications |
Source of heading or term |
bicssc |
9 (RLIN) |
1008012 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computer programming / software development |
Source of heading or term |
bicssc |
9 (RLIN) |
921274 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Artificial intelligence |
Source of heading or term |
bicssc |
9 (RLIN) |
2458 |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Theory of Computation |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Computer Systems Organization and Communication Networks |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Control Structures and Microprogramming |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Logic in AI |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Information Systems and Communication Service |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Computer Engineering and Networks |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
architecture verification and validation |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
artificial intelligence |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
automata theory |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
computer networks |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
embedded systems |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
formal languages |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
formal logic |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
linguistics |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
mathematics |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
model checking |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
model-checking |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
SAT and SMT solving |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
signal processing |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
software and hardware verification |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
software architecture |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
software engineering |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
specification and verification techniques |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
static and dynamic program analysis |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
system construction and transforamtion techniques |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
theorem-proving |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Computer science |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Mathematical theory of computation |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Computer networking & communications |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Algorithms & data structures |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Larsen, Kim Guldstrand |
Relator code |
edt |
9 (RLIN) |
697266 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Groote, Jan Friso |
Relator code |
oth |
9 (RLIN) |
1283261 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Larsen, Kim Guldstrand |
Relator code |
oth |
9 (RLIN) |
697266 |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Host name |
www.oapen.org |
Uniform Resource Identifier |
<a href="https://library.oapen.org/bitstream/20.500.12657/48220/1/9783030720162.pdf">https://library.oapen.org/bitstream/20.500.12657/48220/1/9783030720162.pdf</a> |
-- |
0 |
Public note |
DOAB: download the publication |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Host name |
www.oapen.org |
Uniform Resource Identifier |
<a href="https://library.oapen.org/bitstream/20.500.12657/48220/1/9783030720162.pdf">https://library.oapen.org/bitstream/20.500.12657/48220/1/9783030720162.pdf</a> |
-- |
0 |
Public note |
DOAB: download the publication |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Host name |
www.oapen.org |
Uniform Resource Identifier |
<a href="https://directory.doabooks.org/handle/20.500.12854/67926">https://directory.doabooks.org/handle/20.500.12854/67926</a> |
-- |
0 |
Public note |
DOAB: description of the publication |