عنوان
پدید آورنده
موضوع
رده
QA76.76.V47
QA76
.
76
.
V47
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
303003769X
(Number (ISBN
9783030037697
Erroneous ISBN
9783030037680
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Runtime verification :
General Material Designation
[Book]
Other Title Information
18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings /
First Statement of Responsibility
Christian Colombo, Martin Leucker (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham, Switzerland :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
2018.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xi, 470 pages) :
Other Physical Details
illustrations (some color)
SERIES
Series Title
Lecture notes in computer science ;
Series Title
LNCS sublibrary. SL 2, Programming and software engineering
Volume Designation
11237
GENERAL NOTES
Text of Note
Includes author index.
Text of Note
International conference proceedings.
CONTENTS NOTE
Text of Note
Invited Papers -- Tutorial Papers -- Regular Papers -- Short Papers -- Tool Papers.
0
SUMMARY OR ABSTRACT
Text of Note
Chapter "Hardware-based Runtime Verification with Embedded Tracing Units and Stream Processing" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
Springer Nature
Stock Number
com.springer.onix.9783030037697
OTHER EDITION IN ANOTHER MEDIUM
International Standard Book Number
9783030037680
International Standard Book Number
9783030037703
PARALLEL TITLE PROPER
Parallel Title
RV 2018
TOPICAL NAME USED AS SUBJECT
Computer software-- Testing, Congresses.
Computer software-- Verification, Congresses.
Formal methods (Computer science), Congresses.
Computer programming-- software development.
Computer software-- Testing.
Computer software-- Verification.
Computers-- General.
Computers-- Hardware-- Handheld Devices.
Computers-- Programming-- General.
Computers-- Programming Languages-- General.
Computers-- Software Development & Engineering-- General.
Formal methods (Computer science)
Information technology: general issues.
Mathematical theory of computation.
Mathematics-- Logic.
Programming & scripting languages: general.
Software Engineering.
Systems analysis & design.
(SUBJECT CATEGORY (Provisional
COM051230
UMZ
UMZ
DEWEY DECIMAL CLASSIFICATION
Number
005
.
1/4
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
76
.
V47
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Colombo, Christian
Leucker, Martin
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
RV (Conference)(18th :2018 :, Limassol, Cyprus)
ORIGINATING SOURCE
Date of Transaction
20200823075758.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
