Copied Runtime Verification
Runtime Verification
This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions. 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; as well as metrics and statistical information gathering; combination of static and dynamic analyses and program execution visualization.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Atlas of Genitourinary Oncological Imaging
$169.99
Ruled Varieties
$44.99
Scanning Probe Lithography
$109.99
Praxisbuch Imaginative Techniken in der Psychotherapie
$39.99
Little Scholastic-Baby Days: Baby Bathes
$4.46
Poverty, Hunger, and Democracy in Africa
$84.99
Polizei als lernende Organisation
$69.99
Bedeutung der Wirtschaftsethik fr die marktorientierte Unternehmensfhrung
$79.99
The Academic Profession in Europe: New Tasks and New Challenges
$109.99
Treebanks
$169.99
How to Catch.: How to Catch a Turkey
$3.71
Klinik der Subakuten Bakteriellen Endocarditis (Endocarditis Lenta)
$34.99
Combinatorial and Geometric Group Theory
$129.00
Rechtsfragen der Primplantationsdiagnostik
$69.99
Repetitorium der alten Geschichte auf Grund der alten Geographie zum Gebrauch in hheren Lehranstalt
$59.99
Between Conformity and Resistance
$54.99
Bioenergy from Wood
$129.00
Epistemic Governance in Higher Education
$54.99
Models of the Stochastic Activity of Neurones
$54.99
Mathematik fr Naturwissenschaftler
$49.99
Trennung und Scheidung bei Familien mit Migrationshintergrund
$74.99
Dealing with Complexity
$109.99
The Materials Science of Semiconductors
$119.99
Vorsichtsprinzip und Pensionsrckstellungen
$59.99
Kooperation und demokratisches Prinzip
$49.99
Das Kriegsgeschehen 2005
$69.99
The Chern Symposium 1979
$84.99
Unternehmen und Mythos
$59.99
Prfungsfragen Psychotherapie
$29.99
Inside NAND Flash Memories
$189.00
Man-Machine Interactions 6
$129.00
Logic Programming and Automated Reasoning
$39.99
Geometry of Banach Spaces, Duality Mappings and Nonlinear Problems
$39.99
Altlasten
$139.00
Plant Growth Promoting Rhizobacteria for Sustainable Stress Management
$169.99
Sustainable Agriculture Reviews 52
$219.99
Oral Rehabilitation for Compromised and Elderly Patients
$139.99
Grokessel-Feuerungen
$59.99
Neutrons in Biology
$189.00
Development of an Ultrasonic Sensing Technique to Measure Lubricant Viscosity in Engine Journal Bear
$109.99
