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 $49.50 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
|
|
$54.99 | $54.99 |
|
10% OFF
This deals requires coupon
|
$49.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.
Reviews
Questions & Answers
Die Lokomotiven der Chinesischen Eisenbahnen
$49.99
Constitutionalism in Ireland, 19321938
$89.00
Mathematical Software -- ICMS 2014
$54.99
IT Security Risk Management
$54.99
In Search of Gods Power in Broken Bodies
$54.99
The Straw Manual
$54.99
Technological Aspects of Manufacturing and Numerical Modelling of Clinch-Adhesive Joints
$54.99
Oscillation Theory for Difference and Functional Differential Equations
$109.99
Advanced Hemodynamic Monitoring: Basics and New Horizons
$89.00
Education, Competence Development and Career Trajectories
$49.99
Grundbegriffe der Wahrscheinlichkeitsrechnung
$79.99
Organisation der Verkaufsfrderung bei Konsumgterherstellern
$69.99
Contributions to Islamic Economic Theory
$54.99
Eigenfunction Branches of Nonlinear Operators, and their Bifurcations
$29.99
Bayesian Statistics and New Generations
$109.99
Mathematische Methoden der Technischen Mechanik
$54.99
The Chloroplast: From Molecular Biology to Biotechnology
$219.99
Grundlagen zur Berechnung der Schwingfestigkeit bei mehrachsiger Beanspruchung ohne Phasenverschiebu
$59.99
All About Manatees
$5.24
Wirtschaftsmathematik fr das Bachelor-Studium
$19.99
Stanztechnik
$49.99
Arbeitsbuch Mathematik fr Wirtschaftswissenschaftler
$44.99
Group Decision and Negotiation: Theory, Empirical Evidence, and Application
$54.99
Gender Equality Norms in Regional Governance
$54.99
Conflicts in the Persian Gulf
$54.99
Philosophie als Erfahrungswissenschaft
$59.99
The Colombian Economy and Its Regional Structural Challenges
$199.99
Pharmaceutical Applications of Supramolecules
$199.99
Internet Applications
$54.99
Geometry of State Spaces of Operator Algebras
$39.99
A Theory for Everything
$29.99
Wirtschaftskriminalitt und Prvention
$17.99
The Role of Halogens in Terrestrial and Extraterrestrial Geochemical Processes
$449.99
Eurasian Economic Perspectives
$169.99
Mathematik, empirische Wissenschaft und Erkenntnistheorie
$64.99
Global Climate Change and Public Health
$139.00
Advanced Concepts in Lumbar Degenerative Disk Disease
$219.99
Remarkable Me: Fuzzy and Bean Share New Tricks
$4.46
VLSI Design and Test
$109.99
Computer Aided Verification
$54.99
