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
Bewutsein
$74.99
Post 2030-Agenda and the Role of Space
$169.99
Integrated Video-Frequency Continuous-Time Filters
$109.99
Wissenschaftliches Schreiben in Natur- und Technikwissenschaften
$74.99
Celestial Shadows
$149.00
Praxishandbuch Nachhaltige Produktentwicklung
$54.99
Perinatal Asphyxia
$39.99
Interaction of Hydrogen Isotopes with Transition Metals and Intermetallic Compounds
$39.99
Information Security
$39.99
Variation in South Asian Languages
$139.99
HCV and Related Liver Diseases
$54.99
Component-Based Software Engineering
$39.99
My Books Summer Grade 3 STEM 5-Book Pack
$29.95
Progress in Surgical Pathology
$39.99
Mathematical Reasoning of Children and Adults
$199.99
Phytopharmaka VII
$44.99
Construction and Analysis of Cryptographic Functions
$69.99
Integrated Modeling of Telescopes
$169.99
Pragmatic Logic
$19.99
Berufsorientierung von HauptschlerInnen
$59.99
Managing with Information Technology
$54.99
Mitral Valve Disease
$119.99
Corruption in the MENA Region
$119.99
Erfassen, Verarbeiten und Zuordnen multivariater Messgren
$69.99
Automata, Languages and Programming
$84.99
Evidence-Based Management of Patients with Respiratory Failure
$109.99
Signal Enhancement with Variable Span Linear Filters
$109.99
Applications of Evolutionary Computation
$54.99
Mood Disorders
$39.99
Macromolecules
$219.99
Indoor Scene Recognition by 3-D Object Search
$84.99
Computational Logic in Multi-Agent Systems
$54.99
Substances Containing Ag...C10H15
$549.99
Advancing Methods for Biomolecular Crystallography
$219.99
Pro Spring Boot 3
$44.99
Chocolate Fever
$5.21
Importance of Role Modeling in Educational Settings
$84.99
Software Engineering Research, Management and Applications 2011
$109.99
Societal Development in Rural China
$39.99
Probleme lsen
$54.99
