MARC details
| 000 -LEADER |
|---|
| fixed length control field |
02541namaa2200589uu 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
oapen27700 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
oapen |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20231220132150.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr|mn|---annan |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
181101s2018 xx |||||o ||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
978-3-319-89963-3 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783319899633 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-319-89963-3 |
| Source of number or code |
doi |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
oapen |
| Transcribing agency |
oapen |
| 041 0# - LANGUAGE CODE |
|---|
| Language code of text/sound track or separate title |
eng |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
dc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UY |
| Source |
bicssc |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Beyer, Dirk |
| Relator code |
edt |
| 9 (RLIN) |
1282262 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc |
Cham |
| Name of publisher, distributor, etc |
Springer Nature |
| Date of publication, distribution, etc |
2018 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource |
| 336 ## - |
|---|
| -- |
text |
| -- |
txt |
| -- |
rdacontent |
| 337 ## - |
|---|
| -- |
computer |
| -- |
c |
| -- |
rdamedia |
| 338 ## - |
|---|
| -- |
online resource |
| -- |
cr |
| -- |
rdacarrier |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Theoretical Computer Science and General Issues |
| Volume number/sequential designation |
10806 |
| 506 0# - RESTRICTIONS ON ACCESS NOTE |
|---|
| Terms governing access |
Open Access |
| Standardized terminology for access restriction |
Unrestricted online access |
| Source of term |
star |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
computer architecture; computer software selection and evaluation; formal logic; formal methods; model checker; model checking; multi core processors; program compilers; programming languages; semantics; software engineering; specifications; state space; verification |
| 540 ## - TERMS GOVERNING USE AND REPRODUCTION NOTE |
|---|
| Terms governing use and reproduction |
Creative Commons |
| -- |
https://creativecommons.org/licenses/by/4.0/ |
| -- |
cc |
| Uniform Resource Identifier |
<a href="https://creativecommons.org/licenses/by/4.0/">https://creativecommons.org/licenses/by/4.0/</a> |
| 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 |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computer architecture |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computer software selection and evaluation |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
formal logic |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
formal methods |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
model checker |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
model checking |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
multi core processors |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
program compilers |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
programming languages |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
semantics |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
software engineering |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
specifications |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
state space |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
verification |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Beyer, Dirk |
| Relator code |
oth |
| 9 (RLIN) |
1282262 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Huisman, Marieke |
| Relator code |
edt |
| 9 (RLIN) |
1282263 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Huisman, Marieke |
| Relator code |
oth |
| 9 (RLIN) |
1282263 |
| 793 0# - |
|---|
| -- |
OAPEN Library. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="http://library.oapen.org/handle/20.500.12657/27700">http://library.oapen.org/handle/20.500.12657/27700</a> |
| -- |
0 |
| Public note |
Open Access: OAPEN Library: description of the publication |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://library.oapen.org/bitstream/id/ac162d36-77f0-4500-b0b7-62fa24d0643e/1002306.pdf">https://library.oapen.org/bitstream/id/ac162d36-77f0-4500-b0b7-62fa24d0643e/1002306.pdf</a> |
| -- |
0 |
| Public note |
Open Access: OAPEN Library, download the publication |
