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
Anaerobes in Biotechnology
$169.00
Stalinism in a Russian Province
$84.99
An Introductory Guide to Computational Methods for the Solution of Physics Problems
$54.99
Global Navigation Satellite Systems and Their Applications
$44.99
Die Temperaturverteilung im Beton
$69.99
Women's Networks in Medieval France
$109.99
Engineering Software IV
$39.99
ICT Systems Security and Privacy Protection
$109.99
Wirtschaftlichkeit in Streitkrften
$44.99
Chemical Profiles of Selected Jordanian Foods
$49.99
Plant Breeding
$169.00
Bibliographic Atlas of Protein Spectra in the Ultraviolet and Visible Regions
$109.99
Flughfen
$59.99
Object-Oriented Technology. ECOOP 2007 Workshop Reader
$39.99
Neue Finanzdienstleistungen
$59.99
Untersuchungen an einer Turbinenstufe im Hinblick auf die Wrmebergangsverhltnisse an einer gekhl
$59.99
Letters and Literacy in Hollywood Film
$54.99
Polymyalgia Rheumatica and Giant Cell Arteritis
$54.99
Energy Detection for Spectrum Sensing in Cognitive Radio
$39.99
Food Allergy
$84.99
New Directions in Guided Wave and Coherent Optics
$74.99
Deutsche Auenpolitik gegenber Katar von 1999-2014
$69.99
Projektbergreifendes Applikationsmanagement Der strategische Applikationslebenszyklus am Beispiel
$17.99
GI Surgery Annual
$109.99
Schreiben am Arbeitsplatz
$49.99
The Riddle of the Modern World
$109.99
Pro ASP.NET Core 6
$69.99
Morrey and Campanato Meet Besov, Lizorkin and Triebel
$44.99
Financial Turbulence and Capital Markets in Transition Countries
$109.99
Evolution of Laurussia
$39.99
Risk Management in the Polish Financial System
$84.99
Back to the 30s?
$109.00
Richtlinien fr den Bau und Betrieb von Krankenanstalten
$59.99
Rckenschmerzen und Nackenschmerzen
$139.99
Die professionalisierte Mitgliederpartei
$64.99
Vom Elfenbeinturm ins Rampenlicht
$29.99
Programming Languages
$72.00
Transactions on Engineering Technologies
$169.99
A Brief History of Colour Theory
$99.00
Emergency Medicine, Trauma and Disaster Management
$219.99
