MARC details
000 -LEADER |
fixed length control field |
02131nam a2200385Ia 4500 |
000 - LEADER |
fixed length control field |
04347nam a22004095i 4500 |
001 - CONTROL NUMBER |
control field |
978-3-031-44267-4 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
DE-He213 |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20240319121101.0 |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
fixed length control field |
cr nn 008mamaa |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
231001s2023 sz | s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9783031442674 |
-- |
978-3-031-44267-4 |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
5.1 |
245 ## - TITLE STATEMENT |
Title |
Runtime Verification |
Statement of responsibility, etc. |
edited by Panagiotis Katsaros, Laura Nenzi. |
Medium |
[electronic resource] : |
250 ## - EDITION STATEMENT |
Edition statement |
1st ed. 2023. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. |
Place of publication, distribution, etc. |
Cham |
Name of publisher, distributor, etc. |
Springer Nature Switzerland |
Date of publication, distribution, etc. |
2023 |
300 ## - PHYSICAL DESCRIPTION |
Extent |
XI, 490 p. 128 illus., 101 illus. in color. |
Other physical details |
online resource. |
520 ## - SUMMARY, ETC. |
Summary, etc. |
This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3-6, 2023. The 13 full papers and 7 short papers presented in this book together with 4 tutorial papers and 2 invited papers were carefully reviewed and selected from 39 submissions. The RV conference is concerned with all aspects of novel lightweight formal methods to monitor, analyze, and guide the runtime behavior of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing and are generally more practical than exhaustive formal verification. |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Algorithms. |
9 (RLIN) |
37528 |
|
Topical term or geographic name entry element |
Algorithms. |
9 (RLIN) |
37528 |
|
Topical term or geographic name entry element |
Artificial intelligence. |
9 (RLIN) |
37529 |
|
Topical term or geographic name entry element |
Artificial Intelligence. |
9 (RLIN) |
37530 |
|
Topical term or geographic name entry element |
Compilers (Computer programs). |
9 (RLIN) |
37531 |
|
Topical term or geographic name entry element |
Compilers and Interpreters. |
9 (RLIN) |
37532 |
|
Topical term or geographic name entry element |
Computer Science Logic and Foundations of Programming. |
9 (RLIN) |
37533 |
|
Topical term or geographic name entry element |
Computer science. |
9 (RLIN) |
37534 |
|
Topical term or geographic name entry element |
Formal Languages and Automata Theory. |
9 (RLIN) |
37535 |
|
Topical term or geographic name entry element |
Machine theory. |
9 (RLIN) |
37536 |
|
Topical term or geographic name entry element |
Software engineering. |
9 (RLIN) |
37537 |
|
Topical term or geographic name entry element |
Software Engineering. |
9 (RLIN) |
37538 |
700 ## - ADDED ENTRY--PERSONAL NAME |
Personal name |
Katsaros, Panagiotis. |
9 (RLIN) |
37539 |
|
Personal name |
Nenzi, Laura. |
9 (RLIN) |
37540 |
856 ## - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
<a href="https://doi.org/10.1007/978-3-031-44267-4">https://doi.org/10.1007/978-3-031-44267-4</a> |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Koha item type |
e-Book |
Source of classification or shelving scheme |
Dewey Decimal Classification |