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
Personalakquisition im Spiegelbild der Generationenvielfalt
$64.99
Comparative Embryo Culture
$89.00
Schdliche Nebenwirkungen von Arzneimitteln
$59.99
Homologous Recombination and Gene Silencing in Plants
$169.00
Evaluation of Novel Approaches to Software Engineering
$84.99
Selected Scientific Papers of Alfred Land
$219.99
Knstliche Intelligenz
$39.99
Nitric Oxide and the Cardiovascular System
$219.99
Jahrbuch der Schiffbautechnischen Gesellschaft
$59.99
William Faulkner
$39.99
Risk and Reward
$24.99
Performing Governance
$39.99
On the Brink
$69.99
Computer Vision for X-Ray Testing
$59.99
Hermes und das Schaf interdisziplinre Anwendungen kernphysikalischer Beschleuniger
$69.99
Computer Vision ECCV 2024
$79.99
Beginning Ruby
$49.99
Formal Methods for Components and Objects
$39.99
Zerkleinerungs-Vorrichtungen und Mahlanlagen
$59.99
Hydrogen as an Energy Vector
$109.99
Bundeswettbewerb Mathematik
$34.99
Augmented Cognition
$79.99
Medien politisch denken
$69.99
Applications of the 'Fair Hearing' Norm in ECHR Article 6(1) to Civil Proceedings
$249.99
Die Dampfturbinen mit einem Anhang ber die Aussichten der Wrmekraftmaschinen und ber die Gasturbi
$49.99
Tafel zur Umrechnung der Raumprozente in Gewichtsprozente und der Gewichtsprozente in Raumprozente b
$54.99
Multicarrier Modulation with Low PAR
$84.99
Thiamine Deficiency and Associated Clinical Disorders
$129.00
Food Industries Manual
$39.99
Ecology of Angola
$59.99
Intuitionen von Verbraucher*innen bei der Auswahl veganer Lebensmittelsubstitute
$64.99
Android Tablets Made Simple
$29.99
Fundamentals of Electromagnetics 2
$29.87
Pazifismus als Diskurs
$59.99
Computational Neuroscience of Drug Addiction
$219.99
Quantum Tunneling of Magnetization QTM 94
$329.99
IGFS 2014
$129.00
Turbulenz
$59.99
National Identities and Imperfections in Contemporary Irish Literature
$109.99
Management Champions
$37.99
