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 (Coupon Required):
Buy Formal Methods for Executable Software Models 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 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
Electromagnetic Metamaterials and Metasurfaces: From Theory To Applications
$129.00
Eye Movements
$39.99
Practical Work in Science Education
$109.99
Lithium Batteries
$169.00
Mitarbeiterbeteiligung in deutschen Unternehmen
$74.99
Advanced Information Systems Engineering Workshops
$99.00
Unit Root Tests in Time Series Volume 2
$109.99
Wahlen und Whler
$44.99
Comprehensive Virology
$54.99
Genetically Modified Crops
$219.99
Design and Electromagnetic Feature Analysis of AC Rotating Machines
$54.99
Coordination, Organizations, Instiutions, and Norms in Agent System VII
$49.99
Pharmacology of the WNT Signaling System
$169.99
Grundzge einer Flchen-Nomographie
$59.99
Implementing Environmental, Social and Governance (ESG) Principles for Sustainable Businesses
$99.99
Engineering Economics: Decisions and Solutions from Eurasian Perspective
$219.99
Italienische Politikphilosophie
$29.99
Regulating Banks in Central and Eastern Europe
$54.99
Jahrbuch der Schiffbautechnischen Gesellschaft
$59.99
Complexity and Real Computation
$39.99
Information Security and Cryptology ICISC 2017
$54.99
Conjugation and Deconjugation of Ubiquitin Family Modifiers
$129.00
Discrete-Time Linear Systems
$54.99
Diet and Drug Interactions
$39.99
Water Resources Management
$169.99
Einbau organischer Krper in die Oberflche von Steinholzbelgen zur Erhhung der Gteeigenschaften
$59.99
4th EAI International Conference on Robotic Sensor Networks
$169.99
Introduction to Logic
$34.99
Telecommunications
$39.99
Advanced Social Media Marketing
$29.99
Skin Cancer Management
$89.00
Grab and Go Pack Theme 2: Social-Emotional Development Grade 7
$29.95
Programming Languages and Systems
$109.99
Fhrung, Delegation und Information im Bankbetrieb
$59.99
Organizations and Strategies in Astronomy
$129.00
Pollutants of Global Concern
$169.99
Catalysis at Surfaces
$169.99
Progress and Trends in Rheology V
$84.99
Acute Renal Failure
$39.99
Implicit Partial Differential Equations
$39.99
