MARC details
| 000 -LEADER |
|---|
| fixed length control field |
03086namaa2200673uu 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
oapen23327 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
oapen |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20231220125518.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 |
200318s2019 xx |||||o ||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
978-3-030-17502-3 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-030-17502-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 |
UB |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UM |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UMZ |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYA |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYD |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYM |
| 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 |
| Remainder of title |
25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III |
| 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 (258 p.) |
| 336 ## - |
|---|
| -- |
text |
| -- |
txt |
| -- |
rdacontent |
| 337 ## - |
|---|
| -- |
computer |
| -- |
c |
| -- |
rdamedia |
| 338 ## - |
|---|
| -- |
online resource |
| -- |
cr |
| -- |
rdacarrier |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture Notes in Computer Science |
| 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 |
This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It's a special volume on the occasion of the 25 year anniversary of TACAS. |
| 536 ## - FUNDING INFORMATION NOTE |
|---|
| Text of note |
Nederlandse Organisatie voor Wetenschappelijk Onderzoek |
| 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 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 |
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 |
Information technology: general issues |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
938094 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Mathematical theory of computation |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
855105 |
| 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 |
Systems analysis & design |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
1200538 |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Computer logic |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Computer science |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Computer simulation |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Computer system failures |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Computers |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Mathematical logic |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Software engineering |
| 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 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Kordon, Fabrice |
| Relator code |
edt |
| 9 (RLIN) |
346885 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Kordon, Fabrice |
| Relator code |
oth |
| 9 (RLIN) |
346885 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Steffen, Bernhard |
| Relator code |
edt |
| 9 (RLIN) |
1282264 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Steffen, Bernhard |
| Relator code |
oth |
| 9 (RLIN) |
1282264 |
| 793 0# - |
|---|
| -- |
OAPEN Library. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="http://library.oapen.org/handle/20.500.12657/23327">http://library.oapen.org/handle/20.500.12657/23327</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/0c3eefbf-e468-48b0-aa0b-2325b9933f94/1006828.pdf">https://library.oapen.org/bitstream/id/0c3eefbf-e468-48b0-aa0b-2325b9933f94/1006828.pdf</a> |
| -- |
0 |
| Public note |
Open Access: OAPEN Library, download the publication |
