Runtime Verification (Record no. 15720)

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
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Shelving location Date acquired Source of acquisition Total Checkouts Barcode Date last seen Price effective from Koha item type Public note
        S. R. Ranganathan Learning Hub S. R. Ranganathan Learning Hub Online   Veda Library Solutions Pvt. Ltd., Noida   EB2706 2024-03-19 2024-03-19 e-Book Platform:Springer