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 refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. 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
Natural and Artificial Computation for Biomedicine and Neuroscience
$54.99
Mechanics
$139.99
Numerical Solution of the Incompressible Navier-Stokes Equations
$109.99
Non-Volatile Memory Database Management Systems
$59.99
The African Stakes of the Congo War
$54.99
Proceedings of International Joint Conference on Advances in Computational Intelligence
$299.99
Vernetzung von IuK-Techniken
$69.99
Perceptions of Self, Power, & Gender Among Muslim Women
$84.99
Research Methods in the Study of Substance Abuse
$169.99
Leafy Salad Vegetables
$39.99
Cholesterol Binding and Cholesterol Transport Proteins:
$219.99
Media Management in the Age of Lyndon B. Johnson
$129.99
Furcht und Freiheit
$44.99
Six Sigma+Lean Toolset
$44.99
Asset Markets, Portfolio Choice and Macroeconomic Activity
$109.99
Neue Formen der Wertschpfung in der TV-Branche
$59.99
Connectivity and Global Studies
$79.99
Adaptive Dual Control
$84.99
Maschinen- und Konstruktionselemente 1
$54.99
The Hand
$54.99
Towards a Science of Belief Systems
$54.99
Plant Diversity in the Central Great Caucasus: A Quantitative Assessment
$169.99
Research-Based Teacher Evaluation
$84.99
Globalisation, Democratisation and Radicalisation in the Arab World
$109.99
Tuning, Timbre, Spectrum, Scale
$139.00
Ferromagnetismus
$54.99
Fundamentals of Renal Pathology
$109.00
Methods for Electrocatalysis
$249.99
Pro ASP.NET SharePoint 2010 Solutions
$49.99
Advances in Computer Science and Information Technology. Computer Science and Information Technology
$54.99
Formal Methods Fun for Everybody
$54.99
Di- and Polynuclear Compounds 5
$74.99
Molecular Interpretations of Sorption in Polymers
$39.99
Cooperative Decision-Making Under Risk
$109.99
Export Development and Promotion: The Role of Public Organizations
$169.00
Aquatic Oligochaetes
$39.99
Science, Technology, and Higher Education
$169.99
Continuous Bounded Cohomology of Locally Compact Groups
$39.99
Innovative Wirtschaftsfrderungen in Krisenzeiten
$59.99
Psychoimmunologische Forschung bei Alzheimer-Demenz
$79.99
