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
Formal Techniques for Distributed Systems
Best Price (Coupon Required):
Buy Formal Techniques for Distributed Systems 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 refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events. The 21 revised full papers presented together with one invited talk were carefully reviewed and selected from 65 submissions. The topics covered are formal verification, formal modeling and specification, run-time monitoring, and testing to address challenges in many different application areas, including dynamic and ad hoc networks, mobile and adaptive computation, reactive and timed systems, business processes, and distributed and concurrent systems and algorithms.
Reviews
Questions & Answers
Entscheidungsprozesse in Frage und Antwort
$59.99
Mathematics and the Historian's Craft
$84.99
Plant Programmed Cell Death
$119.00
Academic Entrepreneurship
$129.99
H.J. Van Mook and Indonesian Independence: A Study of His Role in Dutch-Indonesian Relations, 1945-4
$109.99
Two Eyes, a Nose, and a Mouth
$5.21
The Politics of Online Copyright Enforcement in the EU
$99.00
Handling and Management of Hazardous Materials and Waste
$74.99
Wireless Rechargeable Sensor Networks
$54.99
Keto Diet Cookbook - 125+ Delicious Recipes to Lose Weight, Balance Hormones, Boost Brain Health, and Reverse Disease by Josh Axe
$30.00
Chromatographic Fingerprint Analysis of Herbal Medicines
$329.99
Laterales Fhren
$17.99
Kostenrechnung in Klein- und Mittelbetrieben
$44.99
Enhanced Chitosan Material for Water Treatment
$169.99
High-Latitude Rainforests and Associated Ecosystems of the West Coast of the Americas
$169.99
Japan and Asia
$179.99
Untersuchungen ber die Eigenreflexe (Sehnenreflexe) Menschlicher Muskeln
$44.99
Public Sector Accounting and Auditing in Europe
$129.99
Proceedings of the 8th International Congress on Environmental Geotechnics Volume 2
$219.99
The Impact of Religion, Personality, Values and Worldviews on Attitudes Towards Human Rights
$139.99
Exploring Expertise
$109.99
Mars, A Cosmic Stepping Stone
$29.99
Positiv lernen
$44.99
Multiresolution Image Shape Description
$39.99
Gravitational Wave Astrophysics with Pulsar Timing Arrays
$54.99
Rough Sets
$54.99
Womanist and Black Feminist Responses to Tyler Perrys Productions
$109.99
C++ Recipes
$39.99
50 Years of Bat Research
$109.99
IUTAM Symposium on Developments in Geophysical Turbulence
$129.00
Interfacial Aspects of Phase Transformations
$219.99
Water Quality Management
$109.99
Contemporary Issues in Soil Mechanics
$84.99
Theorie betrieblicher Kuppelproduktion
$69.99
Zwischen Abhngigkeit und Selbstbestimmung
$44.99
Gemeindebezogene Gesundheitsfrderung
$44.99
Die Rolle der Mutter in der Sozialisation des Kindes
$59.99
The Secret Rose, Stories by W. B. Yeats: A Variorum Edition
$219.99
Biometric Systems
$84.99
Jugend und Sport in den neuen Bundeslndern
$44.99
