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:
Buy Formal Methods: Foundations and Applications for $54.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$54.99 | 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
A Survey on 3D Cameras: Metrological Comparison of Time-of-Flight, Structured-Light and Active Stere
$69.99
Thermal Solid Waste Utilisation in Regular and Industrial Facilities
$109.99
Beruflich Pflegende als Akteure in digital untersttzten Lernwelten
$39.99
Typizittseffekte im Erwerb des englischen Passivs
$59.99
Oxidative Stress and Nanotechnology
$159.99
Inside Thatcher's Monetarist Revolution
$56.00
Stereopsis and Hygiene
$109.99
Pharmaceutical Applications of Supramolecules
$199.99
Practical Aspects of Declarative Languages
$69.99
Global Stakeholder Relationships Governance
$75.00
The Evolution of Human Populations in Arabia
$139.99
Moving the Masses: Bus-Rapid Transit (BRT) Policies in Low Income Asian Cities
$54.99
Cell Line Development
$129.00
CSR und Stadtentwicklung
$29.99
Understanding the Dynamics of Biological Systems
$169.99
Obst, Sdfrchte (einschlielich Agrumen) und Mohn
$59.99
Politics of Mega-Events in China's Hong Kong and Macao
$54.99
Clostridial Neurotoxins
$84.99
Die Stolpe-Doktrin und ihre Anwendung auf verdeckte uerungen und Bildberichterstattungen
$119.99
Grundlagen der Betriebswirtschaftslehre
$49.99
Die Beeinflussung des Keimgehaltes durch Waschen bei niedrigen Temperaturen (2060C)
$59.99
Global Environmental Changes in South Asia
$169.99
Color Atlas of Female Genital Tract Pathology
$299.99
Progress in Fuzzy Sets and Systems
$109.99
Essential Java Fast
$54.99
Lebererkrankungen 11 der Therapie
$34.99
5th International Symposium of Space Optical Instruments and Applications
$109.99
Why Leaders Fail Ethically
$54.99
Corporate Social Responsibility
$39.99
Literary Paths to Religious Understanding
$54.99
Advances in CO2 Utilization
$199.99
Conversations with Birds- The Metaphysics of Bird and Human Communication by Alan Powers
$18.00
Game Development with Construct 2
$59.99
Populism and Crisis Politics in Greece
$39.99
Easy Everyday Mediterranean Diet Cookbook- 125 Delicious Recipes from the Healthiest Lifestyle on the Planet by Deanna Segrave-Daly
$22.99
Research, Quality, Competitiveness
$119.00
Knowledge Solutions
$59.99
ber Eine Lipotrope Quecksilberverbindung
$54.99
R3 in Geomatics: Research, Results and Review
$39.99
Molecular Biochemical Aspects of Cancer
$249.99
