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: Foundations and Applications
Best Price (Coupon Required):
Buy Formal Methods: Foundations and Applications 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 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016. The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.
Reviews
Questions & Answers
IT-Sicherheit
$89.99
Research on Selected China's Legal Issues of E-Business
$39.99
Tropische Nutzpflanzen
$79.99
Einsatz der Bioenergie in Abhngigkeit von der Raum- und Siedlungsstruktur
$69.99
Programmed Necrosis
$109.99
Online Machine Learning
$64.99
Children of International Migrants in Europe
$39.99
Secret of the Time Tablets
$11.24
Yo descubro la naturaleza
$3.71
New Developments in Eco-Innovation Research
$109.99
Understanding Microsoft Teams Administration
$54.99
Innovations in Open and Flexible Education
$129.99
The Ultra Vires Doctrine in Corporate Law
$64.99
Bringing the Jobless into Work?
$169.99
Politische Generationen
$59.99
Clinical Nuclear Medicine
$149.00
Korean Women, Self-Esteem, and Practical Theology
$49.99
Produktionsforum 88. Die CIM-fhige Fabrik
$59.99
Progress in Cryptology LATINCRYPT 2012
$54.99
Understanding Hybrid Environments in SharePoint 2019
$54.99
Genetic Programming
$69.99
Modern Clinical Trial Analysis
$169.99
Generative Programming and Component Engineering
$54.99
The European Banking Union
$54.99
Technology Transfer and Competition
$109.99
The Practice of Royal Icing
$129.00
Life Long Learning
$39.99
Referenzprozessmodell zur Steuerung der Entwicklung von IT-enabled Business Innovations in der Versi
$64.99
Kulturelle Vielfalt als Dimension des gerechten Friedens
$19.99
Hartmann von Aue
$29.99
Neuroendokrinologie und Schizophrenieforschung
$64.99
Relativistic Heavy-Particle Collision Theory
$84.99
Planung, Organisation und Einrichtung von Intensivbehandlungseinheiten am Krankenhaus
$69.99
Restless Reason and Other Variations on Kantian Themes
$109.99
Intelligent Information Processing V
$39.99
Multivariate Modelling of Non-Stationary Economic Time Series
$229.00
Tourismus in der Krise: COVID-19 als Auslser fr neue Geschftsmodelle und Digitalisierung
$49.99
Women, Identity and Private Life in Britain, 190050
$109.99
Permanent Emergency Welfare Regimes in Sub-Saharan Africa
$39.99
Music Interventions for Neurodevelopmental Disorders
$54.99
