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
Integrated Formal Methods
Best Price (Coupon Required):
Buy Integrated Formal Methods 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 InternationalConference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed andselected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software.
Reviews
Questions & Answers
Renal Denervation
$59.99
Erluterungen zu den Normalien fr isolierte Leitungen in Starkstromanlagen, den Normalien fr isoli
$59.99
The Roles of Law and Politics in China's Development
$84.99
Energy, Ecology and Environment
$199.99
Introducing SQL Server
$54.99
Understanding and Managing Vaccine Concerns
$54.99
China Sourcing
$89.99
Intelligent Data Engineering and Automated Learning IDEAL 2017
$54.99
Complex System Modelling and Control Through Intelligent Soft Computations
$169.99
Mycotoxins in Foodstuffs
$169.99
Neurobiology of the Trace Amines
$219.99
Elektrotechnik fr Ingenieure - Klausurenrechnen
$39.99
Global Midwifery: Principles, Policy and Practice
$64.99
Food Choice, Acceptance and Consumption
$129.00
Predictability, Stability, and Chaos in N-Body Dynamical Systems
$39.99
Slow-Burn-Narration
$59.99
Die industrielle Produktivitt in neuerer Sicht
$59.99
Soziologie der Neurosen
$59.99
Fehleranalyse als Methode der Gedchtnisforschung
$59.99
ESWT und Sonographie der Sttz- und Bewegungsorgane
$54.99
Standardisierung der Bildung
$39.99
Der Deutsche Bundestag
$64.99
The Many Masks of Andy Zhou
$7.46
Handbook of Nutrition and Immunity
$169.99
Applied Geomorphology and Contemporary Issues
$109.99
Dynamic System Reconfiguration in Heterogeneous Platforms
$169.99
Explosive Spiele fr Ihren VC20
$44.99
Decision Theory and Decision Analysis: Trends and Challenges
$129.00
Eindimensionale Finite Elemente
$59.99
Essentials of Radiofrequency Ablation of the Spine and Joints
$84.99
War and the Transformation of Global Politics
$99.99
Inclusion Chemistry with Zeolites: Nanoscale Materials by Design
$39.99
How the Internet Shapes Collective Actions
$54.99
Kolloidchemie des Protoplasmas
$59.99
Verflssigtes Ammoniak als Lsungsmittel
$79.99
Law Enforcement and Technology
$39.99
Organizational Communication in the Digital Era
$149.00
Netzwerke, Signale und Systeme
$49.99
Control and Systems Engineering
$109.99
Virginia Woolfs Influential Forebears
$54.99
