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 refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 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
Transactions on Intelligent Welding Manufacturing
$169.99
Problems in Applied, Industrial and Engineering Mathematics
$39.99
Understanding Sex and Relationship Education, Youth and Class
$109.99
Make it New
$59.99
The Economics of Demutualization
$39.99
Understanding German Real Estate Markets
$109.99
Intra Uterine Adhesions
$59.99
Proceedings of the TMS Middle East - Mediterranean Materials Congress on Energy and Infrastructure
$219.99
Machine Learning in Medical Imaging
$54.99
Benefit Transfer of Environmental and Resource Values
$59.99
Ethik in den Ingenieurwissenschaften
$24.99
Understanding Chinas School Leadership
$59.99
Passive Components for Dense Optical Integration
$84.99
Die Ergebnisse der Bohrung Mnsterland 1
$59.99
Handbook of Cardiovascular CT
$129.99
Unterrichtszentrierte Schulentwicklung
$49.99
The Pragmeme of Accommodation: The Case of Interaction around the Event of Death
$109.99
Teacher Professional Learning in an Age of Compliance
$109.99
Algorithms for Sensor Systems
$54.99
Literature and Nationalism in Partitioned Poland, 1795-1918
$109.99
Reflexive Structures
$39.99
Geowissenschaften und Umwelt
$54.99
Bodies of Work
$39.99
Algebraic Curves and Surfaces
$109.00
Methoden in der Proteinanalytik
$149.99
Computational Network Application Tools for Performance Management
$109.99
Locally Conformal Khler Geometry
$109.99
Deutsch
$59.99
Digital Media and Society
$119.99
Unconventional Resources in India: The Way Ahead
$54.99
Post-Romantic Consciousness
$39.99
From Instrumentalism to Constructive Realism
$169.99
Analogical and Inductive Inference
$39.99
Untersuchung symmetrischer Hochfrequenzleitungen
$59.99
Semantisch-konzeptuelle Vernetzungen im bilingualen mentalen Lexikon
$59.99
Hannah Arendt and the Search for a New Political Philosophy
$54.99
PowerShell and Python Together
$34.99
Technische Mechanik
$89.99
Familiale Lebenswelten und Bildungsarbeit
$49.95
Anerkennung oder Abwertung
$44.99
