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 $31.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
|
|
$34.99 | $34.99 |
|
10% OFF
This deals requires coupon
|
$31.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Macei, Brazil, in September/October 2014. The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area.
Reviews
Questions & Answers
Exergy Analysis of the Air Handling Unit at Variable Reference Temperature
$159.99
Dante and the Mediterranean Comedy
$109.99
Transformationsprozesse in sozialistischen Wirtschaftssystemen
$69.99
High-Energy Charged Particles
$39.99
Advances in Computation and Intelligence
$84.99
Proteins
$84.99
The Andrews Festschrift
$109.99
Mathematik fr Manager
$39.99
Engineering Psychology and Cognitive Ergonomics
$39.99
Redesigning Professional Education Doctorates
$39.99
Heaven
$6.71
Energy from Nuclear Fission
$44.99
Stauplanung fr Containerschiffe
$44.99
Repositioning Platforms in Digital Market Law
$179.99
SpaceTime Design of the Public City
$169.99
Python Graphics
$54.99
Afrika
$19.99
Covid-19 Airway Management and Ventilation Strategy for Critically Ill Older Patients
$139.99
Sustainable Human Resource Management in Tourism
$199.99
Mixed Finite Elements, Compatibility Conditions, and Applications
$59.99
Grundstze ordnungsmiger Versicherungsbilanzierung nach IFRS
$84.99
Zur Frage der Lagerung von Stahlbetonsttzen bei aufgezwungenen Verformungen
$54.99
Die Bahnen der Stadt Cln
$49.99
Role of Language and Corporate Communication in Greater China
$54.99
Handbuch Elektrische Energietechnik
$89.00
The Social Construction and Use of Landscape and Public Space in the Age of Migration
$59.99
Ergebnisse der Inneren Medizin und Kinderheilkunde
$59.99
Ada 2012 Reference Manual. Language and Standard Libraries
$159.99
Cross-Border Entry in European Retail Financial Services
$39.99
Moderne Rechnernetze
$44.99
Cereal-Based Food Products
$199.99
Analytic Theory of the Harish-Chandra C-Function
$29.99
Atomic and Molecular Processes with Short Intense Laser Pulses
$54.99
Hemifacial Spasm
$109.99
Science and Whig Manners
$54.99
bungsbuch Wirtschaftsmathematik
$29.99
Fresh Citrus Fruits
$109.99
Digital Signal Processing for Wireless Communication using Matlab
$109.99
Rookie Biographies: Jackie Robinson
$3.71
Entwicklungen des Investitionsgtermarketing
$49.99
