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 thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal, Brazil, in November 2010. The 18 revised full papers were carefully reviewed and selected from 55 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
Colon Cancer Prevention
$84.99
Contesting Empires
$54.99
The banking and credit system of the USSR
$169.99
Recommender Systems and the Social Web
$54.99
Marijuana
$109.99
Translation Studies on Chinese Films and TV Shows
$99.99
Issues of Terrorism in the Post-Coronavirus Era
$139.99
The Behavior of Structures Composed of Composite Materials
$99.00
The Mathematica GuideBook for Symbolics
$169.99
Theories of Fluids with Microstructure
$84.99
Car Tourism
$159.99
G.H.A. Krhnkes Taschenbuch zum Abstecken von Bgen auf Eisenbahn- und Weglinien
$59.99
Demystifying Bilingualism
$99.00
Public Opinion on Economic Globalization
$129.99
Ganzheitliches Corporate Finance Management
$59.99
Stochastic Models for Fault Tolerance
$39.99
Literature in Language Education
$89.00
Emergent Process Methods for High-Technology Ceramics
$109.99
Entwicklung und Einsatz eines interaktiven Verfahrens zur Leistungsabstimmung von Montagesystemen
$69.99
Random Ordinary Differential Equations and Their Numerical Solution
$119.00
Knowledge-Based and Intelligent Information and Engineering Systems
$169.99
Problem Solving Handbook in Computational Biology and Bioinformatics
$84.99
When You Can Swim (Hardcover)
$14.24
A Medievalist in the Eighteenth Century
$169.00
Letters to Florence Lamont
$44.99
Grid Economics and Business Models
$54.99
Sexueller Missbrauch und Misshandlungen in der Benediktinerabtei Ettal
$64.99
Conference Diplomacy
$49.99
Developing Turn-Based Multiplayer Games
$29.99
Little Leveled Readers: Level B Box Set
$27.74
Robotic Tactile Perception and Understanding
$139.99
Kazakhstan's Diversification from the Natural Resources Sector
$109.99
Computational Intelligence
$84.99
Recent Advances in Reliability and Quality in Design
$219.99
Nonlinear Dynamics in Solids
$54.99
Der Einflu der Wlzgenauigkeit von Verzahnmaschinen auf die Fertigungsgenauigkeit und das Laufverha
$44.99
The Power of Morality in Movements
$59.99
Electrocatalysis
$299.00
Lokale Verformungsevolution von im Elektronenstrahlschmelzverfahren hergestellten IN718-Gitterstrukt
$84.99
Modelling of Environmental Chemical Exposure and Risk
$109.99
