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
Mechanik
$39.99
Enterprise Governance of Information Technology
$79.99
Wrmebertragung bei Reaktoren
$59.99
The Orbit Method in Representation Theory
$39.99
Hazard Modeling and Assessment of the Nile Delta Coast
$159.99
Built on Value
$59.99
Neural Network Applications
$54.99
Pro Java 8 Programming
$59.99
Hungry Hollow
$26.00
Minerals of Mexico
$39.99
Inositol and Phosphoinositides
$219.99
Co-simulations of Microwave Circuits and High-Frequency Electromagnetic Fields
$119.00
Willem Einthoven (18601927) Father of electrocardiography
$54.99
Stem Cell Transplantation
$219.99
Synthetic Pyrethroid Insecticides: Structures and Properties
$54.99
Recent Advances in Sliding Modes: From Control to Intelligent Mechatronics
$109.99
RP2040 Assembly Language Programming
$54.99
Beyond Dracula
$109.99
Dark Life
$7.49
Human Rights in European Criminal Law
$109.99
The New Protectionist Wave
$129.00
Handlungsspielrume des Krankenhausmanagements
$49.99
Was jetzt?
$44.99
Advances in Network and Distributed Systems Security
$129.00
Energietransitionen
$89.99
Kunsttherapeutische Gruppenarbeit in der psychoanalytischen Heilpdagogik
$69.99
Prsentieren in Schule, Studium und Beruf
$14.99
Brand Evolution
$69.99
Stabilization of Linear Systems
$84.99
The Basel II Risk Parameters
$59.99
Kapitaleigentum, Unternehmensfhrung und interne Organisation
$59.99
Power Generation from Solid Fuels
$219.99
In My Neighborhood / En mi vecindario
$5.21
Phenomenology and Intercultural Understanding
$119.99
Politik und Regieren in Bremen
$64.99
Erste Schritte im Online-Marketing
$17.99
Business Research Projects for Students
$54.99
Fault Detection and Fault-Tolerant Control Using Sliding Modes
$129.00
Fact into Fiction
$34.99
Inelastic Behavior of Materials and Structures Under Monotonic and Cyclic Loading
$84.99
