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
A Tale of Three Cities
$119.99
NASH and Nutritional Therapy
$109.99
Guide to Prosthetic Cardiac Valves
$74.99
Frontiers in Crustacean Neurobiology
$39.99
Mind, Metaphor and Language Teaching
$54.99
Financial Engineering, E-commerce and Supply Chain
$169.99
Deep Learning in Mining of Visual Content
$64.99
Stochastic Analysis and Applications
$29.99
Identifikation und Reprsentation
$59.99
Environmental Archaeology
$99.00
Multiple Instance Learning
$109.99
Disrupt Science
$159.99
Group and Ring Theoretic Properties of Polycyclic Groups
$39.99
Riff Raff Sails the High Cheese
$4.46
Understanding Sustainability with Pedagogical Practice
$159.99
Aktuelle Aspekte in der Dienstleistungsforschung
$69.99
A History of Italian Cinema
$49.99
Algorithmentheorie
$59.99
Finite Elements Using Maple
$54.99
Local Regression and Likelihood
$139.00
The Intermediality of Narrative Literature
$69.99
The Time Domain in Surface and Structural Dynamics
$39.99
Aroma Biotechnology
$54.99
How to Be a Stoic- Using Ancient Philosophy to Live a Modern Life by Massimo Pigliucci
$19.99
ICT in Education in Global Context
$109.99
Metal Micro-Droplet Based 3D Printing Technology
$149.00
Spektralanalytische Untersuchungen von Haarfarben
$59.99
Strategies in Gynecologic Surgery
$74.99
Recent Advances in Endometrial Cancer
$99.99
Crossroads between Innate and Adaptive Immunity
$219.99
Digital Systems Design and Prototyping Using Field Programmable Logic
$39.99
Optimierung globaler Distributionsnetzwerke
$64.99
Nonlinear Optical Effects in Organic Polymers
$169.00
Limits to The Welfare State
$109.99
Borges, Language and Reality
$44.99
Diagnosis: Philosophical and Medical Perspectives
$169.99
Extramural English in Teaching and Learning
$99.99
Black Hole Physics
$169.00
Unrigging American Elections
$79.99
Morphologische Aspekte der Epilepsien
$59.99
