MARC details
| 000 -LEADER |
|---|
| fixed length control field |
04615cam a2200721 i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
on1287997005 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250707094226.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 |
211209s2021 sz a o 011 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
GW5XE |
| Language of cataloging |
eng |
| Description conventions |
rda |
| -- |
pn |
| Transcribing agency |
GW5XE |
| Modifying agency |
YDX |
| -- |
OCLCQ |
| -- |
OCLCF |
| -- |
DKU |
| -- |
EBLCP |
| -- |
OCLCO |
| -- |
DCT |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCL |
| -- |
OCLCQ |
| -- |
AUD |
| -- |
OCLCO |
| -- |
OCLCL |
| -- |
OCLCQ |
| -- |
OCLCO |
| 019 ## - |
|---|
| -- |
1287892426 |
| -- |
1287924496 |
| -- |
1292518230 |
| -- |
1294351609 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783030913847 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3030913848 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783030913830 |
| Qualifying information |
(print) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
303091383X |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-030-91384-7 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000070394852 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000070439367 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)1287997005 |
| Canceled/invalid control number |
(OCoLC)1287892426 |
| -- |
(OCoLC)1287924496 |
| -- |
(OCoLC)1292518230 |
| -- |
(OCoLC)1294351609 |
| 037 ## - SOURCE OF ACQUISITION |
|---|
| Source of stock number/acquisition |
Springer |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.9.F67 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UM |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM051000 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UM |
| Source |
thema |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYF |
| Source |
thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
004.01/51 |
| Edition number |
23 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 245 00 - TITLE STATEMENT |
|---|
| Title |
Model checking, synthesis, and learning : |
| Remainder of title |
essays dedicated to Bengt Jonsson on the occasion of his 60th birthday / |
| Statement of responsibility, etc. |
Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi (eds.). |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Cham, Switzerland : |
| Name of producer, publisher, distributor, manufacturer |
Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2021. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (viii, 219 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 |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| Encoding format |
PDF |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science ; |
| Volume/sequential designation |
13030 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
LNCS sublibrary, SL 1, Theoretical computer science and general issues |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Model Checking, Synthesis, and Learning -- From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle -- Cause-Effect Reaction Latency In Real-Time Systems -- Quantitative Analysis of Interval Markov Chains -- Regular Model Checking: Evolution and Perspectives -- Regular Model Checking Revisited -- High-Level Representation of Benchmark Families for Petri Games -- Towards Engineering Digital Twinsby Active Behaviour Mining -- Never-Stop Context-Free Learning -- A Taxonomy and Reductions for Common Register Automata Formalisms. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators. Bengt has made major contributions covering a wide range of topics including verification and learning. His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research. Besides being an excellent scientist, Bengt is also a leader who has greatly influenced the careers of both his students and his colleagues. His main focus throughout his career has been in the area of formal methods, and the research papers dedicated to him in this volume address related topics, particularly related to model checking, temporal logic, and automata learning. |
| 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 December 9, 2021). |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Formal methods (Computer science) |
| 9 (RLIN) |
15635 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer software |
| General subdivision |
Verification. |
| 9 (RLIN) |
1930 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Méthodes formelles (Informatique) |
| 9 (RLIN) |
25785 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logiciels |
| General subdivision |
Vérification. |
| 9 (RLIN) |
20690 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer software |
| General subdivision |
Verification |
| Source of heading or term |
fast |
| 9 (RLIN) |
1930 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Formal methods (Computer science) |
| Source of heading or term |
fast |
| 9 (RLIN) |
15635 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Festschriften |
| Source of term |
fast |
| 9 (RLIN) |
109631 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Festschriften. |
| Source of term |
lcgft |
| 9 (RLIN) |
109631 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Olderog, E.-R., |
| Relator term |
editor. |
| -- |
https://id.oclc.org/worldcat/entity/E39PBJtWYxFxGYyCDXxJ8vbGHC |
| 9 (RLIN) |
15075 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Steffen, Bernhard, |
| Relator term |
editor |
| -- |
https://orcid.org/0000-0001-9619-1558 |
| 9 (RLIN) |
15074 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Yi, Wang, |
| Relator term |
editor. |
| -- |
https://id.oclc.org/worldcat/entity/E39PCjvMjrvRXrBDmjYkv8wDdP |
| 9 (RLIN) |
24689 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Jonsson, Bengt, |
| Dates associated with a name |
1957- |
| Relator term |
honouree. |
| -- |
https://id.oclc.org/worldcat/entity/E39PCjHwt7dgBhWhJfVhCTCprq |
| 9 (RLIN) |
41916 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Title |
Model checking, synthesis, and learning. |
| Place, publisher, and date of publication |
Cham, Switzerland : Springer, 2021 |
| International Standard Book Number |
303091383X |
| -- |
9783030913830 |
| Record control number |
(OCoLC)1277277204 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
13030. |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
LNCS sublibrary. |
| Number of part/section of a work |
SL 1, |
| Name of part/section of a work |
Theoretical computer science and general issues. |
| 9 (RLIN) |
20736 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/978-3-030-91384-7">https://link.springer.com/10.1007/978-3-030-91384-7</a> |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL6857504 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
302625655 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |