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 Methods for Executable Software Models
Best Price:
Buy Formal Methods for Executable Software Models for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
Product Details
This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014. SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school.
Reviews
Questions & Answers
Behinderung, Soziologie und gesellschaftliche Erfahrung
$59.99
Grundlagen der Aeromechanik und Flugmechanik
$84.99
The Politics of Harry Potter
$84.99
The Science and Business of Drug Discovery
$129.00
Japan, the US, and Regional Institution-Building in the New Asia
$39.99
Continental Philosophy and Philosophy of Religion
$109.99
Transportation Management with SAP TM 9
$54.99
An Environmental History of Southern Malawi
$109.00
Peptide Conjugation
$139.00
Pluralism in American Music Education Research
$69.99
Literature 1981, Part 2
$54.99
Advances in Intelligent Decision Technologies
$329.99
Advances in Space Environment Research
$129.00
Der Businessplan
$54.99
Language and Identity
$109.99
Visceral Pain
$219.99
Gravity Compensation in Robotics
$199.99
Minerals: Structure, Properties, Methods of Investigation
$199.99
Numerische Mathematik kompakt
$29.99
Recent Trends in Thermal Engineering
$219.99
Registration Methods for Pulmonary Image Analysis
$54.99
10th International Conference on Robotics, Vision, Signal Processing and Power Applications
$169.00
Japan and Christianity
$109.99
Implementation of Functional Languages
$39.99
The Challenges of Religious Literacy
$24.99
Palgrave Advances in Peacebuilding
$109.99
Asymptomatic Atherosclerosis
$299.99
Quadratische Formen
$29.99
Interaction of Sea and Atmosphere
$36.00
Pulsed Light Sources
$54.99
Wrmeschutz
$44.99
Die Geschichte der chirurgischen Anaesthesie
$59.99
Teacher Education In and For Uncertain Times
$79.99
Mit Mut, Freude und Gelassenheit fhren
$44.99
Cultural Movements and Collective Memory
$54.99
Model-Based Safety and Assessment
$39.99
Sustainable Solutions for Urban Water Security
$139.99
On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS
$84.99
Psychiatric Disorders in Pregnancy and the Postpartum
$199.99
Little Bustard: Ecology and Conservation
$169.99
