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 The Next 30 Years
Best Price (Coupon Required):
Buy Formal Methods The Next 30 Years 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 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling Languages; Learning-Based Techniques and Applications; Refactoring and Reprogramming; I-Day Presentations.
Reviews
Questions & Answers
Statik der Seilkonstruktionen
$79.99
Head and Neck Imaging
$219.99
INCREaSE
$329.99
Bring the Magic Home: An Exploration of Design Inspired by Disney Parks Book
$40.00
Leitfaden zur Arbeiterversicherung des Deutschen Reichs
$59.99
Favorite Characters Spanish Grades K-2
$46.00
Biodiversity, Functional Ecosystems and Sustainable Food Production
$169.99
To Live and To Die: When, Why, and How
$54.99
Ein nichtlineares kybernetisches Modell fr die Pupillenreaktion auf Licht
$49.99
Multiperspektivische Verbraucherforschung
$29.99
Wearable Interaction
$109.99
Artificial Intelligence in Music, Sound, Art and Design
$79.99
Strategic Marketing Issues in Emerging Markets
$59.99
Literacy Education and Indigenous Australians
$109.99
Trauma, War, and Violence
$129.00
ISIAME 2008
$259.00
The EU and China in African Authoritarian Regimes
$31.00
Women and Political Activism in France, 1848-1852
$109.00
Infektionen III
$89.99
Die Idee der Universitt
$64.99
IUTAM Symposium on Integrated Modeling of Fully Coupled Fluid Structure Interactions Using Analysis
$219.99
Epidemiology and the Delivery of Health Care Services
$74.99
Ingenieurgeologie
$59.99
Cyber Defense and Situational Awareness
$109.99
Smarte Innovation
$64.99
Erwerbschancen von Bachelor- und Master-Absolventen in der Wirtschaft
$74.99
J. Michael Dunn on Information Based Logics
$84.99
Bewehren nach DIN 1045-1
$29.99
Solar-Terrestrial Relations
$109.00
Drug Target Selection and Validation
$159.99
Paleozoic Salt Bearing Formations of the World
$109.99
Midline Neck Swellings
$129.00
Implementation and Application of Functional Languages
$69.99
Exploring Cross-Cultural Competence in East Asia
$54.99
Aus dem Verlage von B. G. Teubner in Leipzig und Berlin
$59.99
Nature and Dynamics of Social Influence
$84.99
Open Source Intelligence in the Twenty-First Century
$119.99
Die Bankgehilfenprfung
$59.99
Water, Food and Human Health in the Galapagos, Ecuador
$159.99
Animals at Home/Sun Power: Hands-On Science
$4.00
