MARC details
000 -LEADER |
fixed length control field |
02783naaaa2200493uu 4500 |
001 - CONTROL NUMBER |
control field |
https://directory.doabooks.org/handle/20.500.12854/34402 |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20220714153725.0 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
978-3-030-25540-4 |
024 7# - OTHER STANDARD IDENTIFIER |
Standard number or code |
10.1007/978-3-030-25540-4 |
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 |
UMX |
Source |
bicssc |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
UMZ |
Source |
bicssc |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
UT |
Source |
bicssc |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
UY |
Source |
bicssc |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
UYM |
Source |
bicssc |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
UYQ |
Source |
bicssc |
100 1# - MAIN ENTRY--PERSONAL NAME |
Personal name |
Dillig, Isil |
Relator code |
edt |
9 (RLIN) |
1282600 |
245 10 - TITLE STATEMENT |
Title |
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Name of publisher, distributor, etc |
Springer Nature |
Date of publication, distribution, etc |
2019 |
300 ## - PHYSICAL DESCRIPTION |
Extent |
1 electronic resource (673 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 LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency. |
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 |
Programming & scripting languages: general |
Source of heading or term |
bicssc |
9 (RLIN) |
854920 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Software Engineering |
Source of heading or term |
bicssc |
9 (RLIN) |
68523 |
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 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 modelling & simulation |
Source of heading or term |
bicssc |
9 (RLIN) |
1211342 |
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 |
Computer science |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Software engineering |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Programming languages (Electronic computers) |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Computers |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Artificial intelligence |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Computer simulation |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Computer organization |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Tasiran, Serdar |
Relator code |
edt |
9 (RLIN) |
1282601 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Dillig, Isil |
Relator code |
oth |
9 (RLIN) |
1282600 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Tasiran, Serdar |
Relator code |
oth |
9 (RLIN) |
1282601 |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Host name |
www.oapen.org |
Uniform Resource Identifier |
<a href="https://library.oapen.org/bitstream/20.500.12657/23325/1/1006830.pdf">https://library.oapen.org/bitstream/20.500.12657/23325/1/1006830.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/34402">https://directory.doabooks.org/handle/20.500.12854/34402</a> |
-- |
0 |
Public note |
DOAB: description of the publication |