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
Optimale Vertragsgestaltung bei Venture-Capital-Finanzierungen
$69.99
The Algorithm Design Manual
$84.99
Fact-Checking Journalism and Political Argumentation
$59.99
Fundamentals of Superconductivity
$84.99
Holocaust Impiety in Literature, Popular Music and Film
$54.99
Autoren-Verzeichnis zur Bibliographie der Verffentlichungen ber den Leichtbau und seine Randgebiet
$64.99
Bismuth-Containing Compounds
$169.99
Wrmebertragung
$59.99
Atlas of Geriatric Dermatology
$219.99
Computer Simulation Studies in Condensed-Matter Physics IX
$109.99
Threats to Euro-Atlantic Security
$109.99
Gestaltung des Wandels im Dienstleistungsmanagement
$169.99
Critical Readings in Interdisciplinary Disability Studies
$179.99
Applied Cryptography and Network Security
$89.99
Janusz Korczak, der Brckenbauer
$64.99
Living with Disfigurement in Early Medieval Europe
$31.00
Household Composition in Latin America
$84.99
Global Anglophone Poetry
$54.99
Wie man mathematisch schreibt
$34.99
Ambulant erworbene Pneumonie
$74.99
Zur Aktualitt von Slavoj Zizek
$29.99
Middleware
$49.99
Fernsehen im Deutschunterricht. Emanzipatorischer Mediengebrauch?
$59.99
Computer Vision ECCV 2020 Workshops
$109.00
Monoclonal Antibodies and Breast Cancer
$219.99
Entrepreneurship Business Debates
$179.99
The Mammalian Auditory Pathway: Neuroanatomy
$109.99
Fish Tank Friends: Do I Have to Go to the Party?
$5.24
Indian Stock Market
$54.99
ZnO Thin-Film Transistors for Cost-Efficient Flexible Electronics
$84.99
Nonlinear Phenomena in Physics
$109.99
Computer-Aided Tissue Engineering
$84.99
Satire and Romanticism
$99.00
The Volume of Vector Fields on Riemannian Manifolds
$44.99
Formal Aspects of Security
$54.99
The Cartographic Atlas of the Brain
$139.00
Dragon Girls #1: Azmina the Gold Glitter Dragon
$4.49
Strategien zur Abfallenergieverwertung
$69.99
Introduction to Modern Fortran for the Earth System Sciences
$84.99
Vernunft angesichts der Umweltzerstrung
$69.99
