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
Jahresbericht ber die Beobachtungs-Ergebnisse
$59.99
Dynamics and Vibrations
$109.99
Grne Politik
$69.99
Data-driven Marketing
$54.99
Obshchestvennost and Civic Agency in Late Imperial and Soviet Russia
$39.99
Plant Metabolomics
$169.99
Pflegeprobleme Intensivmedizin
$59.99
The Development of Affect
$39.99
Modern Three-Hadron Physics
$39.99
Noninteracting Control with Stability for Nonlinear Systems
$39.99
Chaos, Fractals, and Noise
$69.99
Wieland-Handbuch
$129.99
Economic Analyses of the European Patent System
$39.99
The Palgrave Handbook of Philosophy and Literature
$379.99
Be Beryllium
$54.99
Human Governance Beyond Earth
$109.00
Animal Stories: Alfie All Alone
$3.71
Orthopaedic Trauma in the Austere Environment
$279.99
Ist unser Wille frei?
$17.99
Submarine Massflow Sedimentation
$39.99
Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops
$84.99
Multinational Enterprises in the West and East
$109.99
Borders in Central Europe After the Schengen Agreement
$109.99
Lumbar Spinal Stenosis
$109.99
Schwalben ber Lippoldsburg
$59.99
Targeted Molecular Imaging in Oncology
$89.00
Innovative Computing, Optimization and Its Applications
$84.99
African Cultural Astronomy
$219.99
Mineral Processing in Developing Countries
$54.99
Latin American Debt and the Adjustment Crisis
$44.99
Computational Science and Its Applications ICCSA 2016
$54.99
The Equationally-Defined Commutator
$54.99
Hierarchische Produktionsplanung fr die marktorientierte Serienfertigung
$59.99
Final Offer by Lauren Asher
$17.99
Physical and Chemical Bases of Biological Information Transfer
$39.99
Optimierungsmethoden des Operations Research
$69.95
Gestaltung regionaler Politik
$59.99
Employment and Tourism
$39.99
Inventory Management with Alternative Delivery Times
$54.99
New Approach to Cultural Heritage
$129.00
