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
33 Spiele mit PASCAL und wie man sie (auch in BASIC) programmiert
$69.99
Computational Science ICCS 2022
$84.99
Zukunftsfragen des Steuerrechts IV
$129.99
Solar Light-to-Hydrogenated Organic Conversion
$159.99
Patterns of Opposition in the European Parliament
$99.99
Die Naturalisation auslndischer Waldbume in Deutschland
$69.95
IAG 150 Years
$219.99
Separating Powers: International Law before National Courts
$109.99
Fraktur und Weichteilschaden
$69.99
Grundlagen des Journalismus
$29.99
I. Untersuchungen an elektronischen Regelantrieben II. Statistische Untersuchungen zur Ausnutzung vo
$59.99
Blicke auf Schnheit und Alter
$44.99
Recent Developments and the New Directions of Research, Foundations, and Applications
$149.00
Optical SuperComputing
$54.99
Health Informatics: A Computational Perspective in Healthcare
$219.99
Advanced Techniques in Diagnostic Microbiology
$149.00
GoNoodle: Rainy Day Party!
$6.74
THz Communications
$79.99
Means and Their Inequalities
$99.00
The Photographic Uncanny
$99.99
Cardiovascular Magnetic Resonance Spectroscopy
$129.00
Natural History Dioramas
$129.99
ICAME 2007
$199.00
Queueing Theory and Network Applications
$54.99
Elemente des Apparatebaues
$399.99
Kompendium Europarecht
$69.99
Multimedia Technology and Enhanced Learning
$99.99
Recent Advances in Intelligent Paradigms and Applications
$109.99
Communications and Networking
$99.99
Kommunikation und unternehmerischer Wandel
$49.99
Experimental Research in Earthquake Engineering
$169.99
Jugend im Generationen-Kontext
$59.99
Burmas Constitution
$54.99
Mechanisches Verhalten von Fichtenholz
$79.99
bungen zur Algebra
$34.99
Trade Unions and Democratization in South Africa, 1985-97
$109.99
Photographs, Histories, and Meanings
$54.99
Die politische konomie der Energiewende
$44.99
Suffering Art Gladly
$109.99
Advances in Multimedia Information Processing - PCM 2005
$109.99
