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
The Pituitary and Testis
$84.99
Quadrature RCOscillators
$109.00
Das Bild des Arztes im 21. Jahrhundert
$79.99
Cultural Impact on Lean Six Sigma and Corporate Success
$54.99
Charlie Parker Played Be Bop
$5.99
Quantities, Symbols, Units, and Abbreviations in the Life Sciences
$109.99
Die Handelsbeziehungen zwischen Deutschland und Kanada im Jahre 1912
$54.99
The Quantum Dissidents
$109.99
Galaxy Distances and Deviations from Universal Expansion
$129.00
Cellular Integration of Signalling Pathways in Plant Development
$109.99
Cross-Cultural Design. Cultural Differences in Everyday Life
$54.99
Kompakt-Lexikon Wirtschaftspolitik
$24.99
Succession Planning
$159.99
Integration von Organisationen
$69.99
An Introduction to Observational Astrophysics
$39.99
Intraprocedural Imaging of Cardiovascular Interventions
$139.99
The Introverted Actor
$79.99
Resilience in Papal Rome, 1656-1870
$139.99
ICT for Intelligent Systems
$249.99
Emergent Learning for Wisdom
$54.99
Reaction and Renewal in South Africa
$109.99
Arbeitssituationsanalyse
$59.99
Key Issues Regarding Digital Libraries
$29.99
rztliche Gesprchsfhrung
$54.99
Nihil Unbound
$109.00
New Horizons in Osteoporosis Management
$169.99
Arithmetic and Geometry of K3 Surfaces and CalabiYau Threefolds
$109.99
Human Aspects of IT for the Aged Population. Applications in Health, Assistance, and Entertainment
$39.99
Cold War Rivalry and the Perception of the American West
$39.99
Sensor Networks
$169.99
Sunny Side Up (Hardcover)
$18.74
New Masculinities in Contemporary German Literature
$129.99
Transaction Processing
$79.99
Organische Komplexbildner mit variablem Abstand der Liganden
$59.99
Production of Biofuels and Chemicals with Bifunctional Catalysts
$169.99
Nutritional Management and Metabolic Aspects of Hyperhomocysteinemia
$84.99
The Family in Medical Practice
$54.99
Crisis and Change in the Japanese Financial System
$169.00
Einfhrung in die Datenorganisation
$49.99
Think Strategically
$59.99
