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
Politics of Water Conservation
$109.99
Die Kultur des unternehmerischen Handelns
$59.99
Dry Eye
$129.99
Security of Networks and Services in an All-Connected World
$59.99
Altern als Zukunft eine Studie der VolkswagenStiftung
$59.99
Blaulicht und Martinshorn im Strafrecht
$84.99
Groups and Symmetries
$54.99
Containing Health Benefit Costs
$54.99
International Comparison of Health Care Data
$169.99
Woman in Lars von Triers Cinema, 19962014
$19.99
Wisdom, Knowledge, and the Postcolonial University in Thailand
$54.99
Outsourcing Legal Aid in the Nordic Welfare States
$31.00
Advanced Intelligent Computing Technology and Applications
$79.99
MATLAB und Simulink in der Ingenieurpraxis
$34.99
Electronic Publishing, Artistic Imaging, and Digital Typography
$39.99
Burnout in Women Physicians
$44.99
Schools of Thought
$219.99
Penetrating Bars through Masks of Cosmic Dust
$329.99
Menschenrechte und humanitres Vlkerrecht - eine Verhltnisbestimmung
$24.99
Ru- und Aschedeposition in Ottopartikelfiltern
$39.99
Aspects of Signal Processing
$219.99
Bond Markets, Treasury and Debt Management
$169.99
Ruling Women, Volume 2
$54.99
Verfahrensprivilegierung aus Grnden des Gemeinwohls
$69.99
Mediation Konfliktregelung durch Brgerbeteiligung
$59.99
Proceedings of the International Conference on Applied CyberSecurity (ACS) 2021
$149.00
Champions League fr Manager Erfolg durch Vielfalt
$29.99
Wetlands and Natural Resource Management
$219.99
Smart Innovations in Engineering and Technology
$169.99
Performance of Communication Systems
$169.99
Finite Fields with Applications to Coding Theory, Cryptography and Related Areas
$84.99
Computational Modeling of Drugs Against Alzheimers Disease
$169.99
Signalbertragung
$39.99
Produktionsplanung und -steuerung in der chemischen Industrie
$64.99
Scholar Zone Extended Learning ELA Grade 7 (2 Scholar)
$75.00
Jugend privat
$59.99
Teratological Testing
$54.99
Virtual Weaponry
$54.99
Cannabis Use in Medicine
$109.99
The Bile Acids, Chemistry, Physiology, and Metabolism
$84.99
