Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Runtime Verification
Best Price (Coupon Required):
Buy Runtime Verification for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San Francisco, USA, in September 2011. The 24 revised full papers presented together with 3 invited papers, 4 tutorials and 4 tool demonstrations were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on parallelism and deadlocks, malware detection, temporal constraints and concurrency bugs, sampling and specification conformance, real-time, software and hardware systems, memory transactions, tools; foundational techniques and multi-valued approaches.
Reviews
Questions & Answers
East Asia and Iran Sanctions
$139.99
Arctic Maritime Logistics
$139.00
Grostadtpolitik und Stadtteilbewegung in den USA
$59.99
Development NGOs and Languages
$39.99
COVID-19 and the Evolving Business Environment in Asia
$169.99
Der Weg in die Personalberatung
$34.99
Challenges and Opportunities for Chinese Agriculture
$89.00
Reliabilities of Consecutive-k Systems
$109.99
Eye Movements and Gestures in Simultaneous and Consecutive Interpreting
$54.99
Pattern Formation in Continuous and Coupled Systems
$39.99
Das Sauerstoffdruckfeld im normalen und pathologisch vernderten Muskel
$59.99
Plant Defence: Biological Control
$149.00
The Politics of Social Cohesion in Germany, France and the United Kingdom
$54.99
Medizin in den Hnden von Heilpraktikern- Nicht-Heilkundigen
$84.99
Animating Unpredictable Effects
$59.99
Analytical Techniques of Celestial Mechanics
$54.99
Chinas Belt and Road Initiative
$64.99
Elliptic Systems of Phase Transition Type
$109.99
The Sound of Silence
$109.00
Relational Supply Contracts
$39.99
Modeling Telecom Networks and Systems Architecture
$39.99
How to be Critically Open-Minded: A Psychological and Historical Analysis
$39.99
Tropische Zirkulationsformen im Lichte der Satellitenaufnahmen
$69.99
Sea Bass
$219.99
Arithmetic of Quadratic Forms
$199.99
Comparative Hearing: Insects
$129.00
The New Regionalism and the Future of Security and Development
$54.99
Der Dreher als Rechner
$44.99
Ethics and Human Behaviour in ICT Development
$109.99
The Reality of Organizations
$44.99
Endorphins and Opiate Antagonists in Psychiatric Research
$39.99
Mbius und sein Band
$69.99
Disequilibrium, Growth and Labor Market Dynamics
$109.99
Fiber Optic Sensing and Imaging
$84.99
Civilian Protection in Armed Conflicts
$54.99
Endoscopy of the Spine
$249.99
Home Sweet Horror
$5.21
Myeloische Metaplasie und ftale Blutbildung und deren Histogenese
$59.99
Handbook of Space Security
$799.99
The Student Supercomputer Challenge Guide
$49.99
