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 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
Towards the First Silicon Laser
$109.99
3D Printing in Bone Surgery
$89.00
NATOs Burden-Sharing Disputes
$119.99
The Intersection of Faith, Culture, and Indigenous Community in Malaysia and Bangladesh
$54.99
Ein Torsionsschwingungsgert zur Bestimmung viskoelastischer Kenngren von Anstrichfilmen
$59.99
Neurobiology of Vertebrate Locomotion
$84.99
Erfolgreich und gesund im Homeoffice arbeiten
$17.99
Cryptography and Coding
$54.99
A Theory of Supply Chains
$54.99
Formal Aspects in Security and Trust
$39.99
Sustainable Development and CSR in China
$39.99
White Feminists and Contemporary Maternity
$54.99
Personalwirtschaft in der Bundeswehr
$69.99
ICT Innovations 2015
$169.99
Practical Stereology
$129.00
Mobile Lightweight Wireless Systems
$39.99
Africa in Economic Crisis
$59.99
The Creation of Local Innovation Systems in Emerging Countries
$54.99
Spintronics-based Computing
$109.99
Martin Walser
$19.99
Lieder fr den Einzelgesang
$59.99
Questioning Hybridity, Postcolonialism and Globalization
$39.99
Prozessportale
$69.99
Technological Innovations in Sensing and Detection of Chemical, Biological, Radiological, Nuclear Th
$249.99
Hemorrhagic Fever Viruses
$179.99
Computational Intelligence in Pattern Recognition
$189.00
Topics in the Calculus of Variations
$109.99
Zeolite-Type Crystal Structures and their Chemistry. Framework Type Codes STO to ZON
$549.99
Ethnographies of Moral Reasoning
$39.99
Office Gynecology
$169.99
Online Communication in Language Learning and Teaching
$54.99
Proceedings of the 1988 International Conference of Services Marketing
$129.00
Nonlinear H2/H-Infinity Constrained Feedback Control
$199.99
Familicide, Gender and the Media
$99.00
Integrated Regional Risk Assessment
$219.99
Quantitative Portfolio Management
$79.99
AETA 2013: Recent Advances in Electrical Engineering and Related Sciences
$329.99
Measure Solar System Objects and Their Movements for Yourself!
$37.99
Community-Based Disaster Risk Management in Azerbaijan
$54.99
The Collective Dream
$129.99
