MARC details
| 000 -LEADER |
|---|
| fixed length control field |
03647cam a2200601 i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
on1492583143 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250707100955.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr un|---aucuu |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
250131s2025 sz a o 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
GW5XE |
| Language of cataloging |
eng |
| Description conventions |
rda |
| -- |
pn |
| Transcribing agency |
GW5XE |
| Modifying agency |
OCLCO |
| -- |
EBLCP |
| -- |
UKKRT |
| -- |
YDX |
| -- |
OCLCQ |
| -- |
UKAHL |
| 019 ## - |
|---|
| -- |
1490993357 |
| -- |
1492209047 |
| -- |
1493000827 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783031827006 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3031827007 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783031826993 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-031-82700-6 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000078883473 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)1492583143 |
| Canceled/invalid control number |
(OCoLC)1490993357 |
| -- |
(OCoLC)1492209047 |
| -- |
(OCoLC)1493000827 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.76.V47 |
| Item number |
V47 2025eb |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYA |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM014000 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYA |
| Source |
thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.1/4 |
| Edition number |
23/eng/20250131 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
VMCAI (Conference) |
| Number of part/section/meeting |
(26th : |
| Date of meeting |
2025 : |
| Location of meeting |
Denver, Colo.) |
| 9 (RLIN) |
1083776 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Verification, model checking, and abstract interpretation : |
| Remainder of title |
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings. |
| Number of part/section of a work |
Part I / |
| Statement of responsibility, etc. |
Krishna Shankaranarayanan, Sriram Sankaranarayanan, Ashutosh Trivedi, editors. |
| 246 3# - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
VMCAI 2025 |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Cham : |
| Name of producer, publisher, distributor, manufacturer |
Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2025. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xiv, 238 pages) : |
| Other physical details |
illustrations (some color). |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture Notes in Computer Science, |
| International Standard Serial Number |
1611-3349 ; |
| Volume/sequential designation |
15529 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Advanced research in computing and software science |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20-21, 2025. The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions. The program of VMCAI 2025 conference in the core areas of VMCAI including abstract interpretation, programming languages, hardware and software model checking, cyber-physical systems, formal synthesis, formal methods in artificial intelligence, concurrency and other areas. |
| 500 ## - GENERAL NOTE |
|---|
| General note |
Includes author index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Online resource; title from PDF title page (SpringerLink, viewed January 31, 2025). |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer programs |
| General subdivision |
Verification |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
17232 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logiciels |
| General subdivision |
Vérification |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
18708 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Shankaranarayanan, Krishna, |
| Relator term |
editor. |
| Authority record control number |
(orcid)0000-0003-0925-398X |
| -- |
https://orcid.org/0000-0003-0925-398X |
| 9 (RLIN) |
1083777 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Sankaranarayanan, Sriram, |
| Relator term |
editor. |
| -- |
https://id.oclc.org/worldcat/entity/E39PCjJqWctF8YRjmQ9wBKt4YP |
| -- |
https://orcid.org/0000-0001-7315-4340 |
| 9 (RLIN) |
54953 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Trivedi, Ashutosh, |
| Relator term |
editor. |
| Authority record control number |
(orcid)0000-0001-9346-0126 |
| -- |
https://orcid.org/0000-0001-9346-0126 |
| 9 (RLIN) |
1083778 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Main entry heading |
Shankaranarayanan, Krishna |
| Title |
Verification, Model Checking, and Abstract Interpretation |
| Place, publisher, and date of publication |
Cham : Springer,c2025 |
| International Standard Book Number |
9783031826993 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
15529. |
| International Standard Serial Number |
1611-3349 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science. |
| Name of part/section of a work |
Advanced research in computing and software science. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/978-3-031-82700-6">https://link.springer.com/10.1007/978-3-031-82700-6</a> |
| 938 ## - |
|---|
| -- |
Askews and Holts Library Services |
| -- |
ASKH |
| -- |
AH43283147 |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL31887313 |
| 938 ## - |
|---|
| -- |
Kortext |
| -- |
KTXT |
| -- |
3279937 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
306887061 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |