عنوان
پدید آورنده
موضوع
رده
QA76.76.V47 R8 2013
QA76
.
76
.
V47
R8
2013
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642407870 (electronic bk.)
(Number (ISBN
9783642407871 (electronic bk.)
Erroneous ISBN
3642407862 (print)
Erroneous ISBN
9783642407864 (print)
NATIONAL BIBLIOGRAPHY NUMBER
Number
b435153
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Runtime verification :
General Material Designation
[Book]
Other Title Information
4th International Conference, RV 2013, Rennes, France, September 24-27, 2013 : proceedings /
First Statement of Responsibility
Axel Legay, Saddek Bensalem (eds.)
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xvii, 426 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
8174
ISSN of Series
0302-9743 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
SUMMARY OR ABSTRACT
Text of Note
The papers address a wide range of specification languages and formalisms for traces, specification mining, program instrumentation, monitor construction techniques, logging, recording, and replay, fault detection, localization, recovery and repair, program steering and adaptation, metrics and statistical information gathering, combination of static and dynamic analyses and program execution visualization
PIECE
Title
OhioLINK electronic book center (Online)
Title
SpringerLink
PARALLEL TITLE PROPER
Parallel Title
RV 2013
TOPICAL NAME USED AS SUBJECT
Computer software-- Testing, Congresses
Computer software-- Verification, Congresses
Formal methods (Computer science), Congresses
DEWEY DECIMAL CLASSIFICATION
Number
005
.
1/4
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
76
.
V47
Class number
QA76
.
76
.
V47
Book number
R8
2013
Book number
R8
2013
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Bensalem, Saddek
Legay, Axel
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
RV (Conference)(4th :2013 :, Rennes, France)
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
Ohio Library and Information Network
ORIGINATING SOURCE
Date of Transaction
20131202122228.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
