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
Parliamentary Democracy
$139.99
Soziale Arbeit und Politische Bildung in der Migrationsgesellschaft
$79.99
Asian Founders at Work
$39.99
Mathematical Essays in honor of Gian-Carlo Rota
$219.99
Verified Software: Theorie, Tools, Experiments
$54.99
Cell-Inspired Materials and Engineering
$199.99
X-Ray Diffraction
$129.00
Modeling and Simulation in Science and Mathematics Education
$39.99
Implications of Climate Change and Disasters on Military Activities
$109.99
Shock, Sepsis, and Organ Failure
$109.99
Standortplanung unter Bercksichtigung verschiedener Marktbedingungen
$66.00
Advances in Artificial Intelligence
$54.99
Die Institutsvergtungsverordnung 3.0
$17.99
IX Latin American Congress on Biomedical Engineering and XXVIII Brazilian Congress on Biomedical Eng
$279.99
Service-Oriented Computing
$109.99
Johan van Benthem on Logic and Information Dynamics
$219.99
Political Cultural Developments in East Asia
$49.99
The Boy Who Dared
$6.74
Tocquevilles Moderate Penal Reform
$19.99
Biografie und Lebenswelt
$59.99
Receptor/Ligand Sorting Along the Endocytic Pathway
$54.99
Bioactive Molecules and Medicinal Plants
$219.99
Unions, Immigration, and Internationalization
$54.99
Scholastic True or False: Baby Animals
$3.74
Political Marketing and Management in the 2017 New Zealand Election
$44.99
Locating Urban Conflicts
$99.00
Thermodynamik des Kraftfahrzeugs
$79.99
English Historical Facts, 1603-1688
$84.99
Proceedings of the 6th China High Resolution Earth Observation Conference (CHREOC 2019)
$169.99
Lymphoid Organogenesis
$129.00
Privatization at the End of the Century
$109.99
Education, Translation and Global Market Pressures
$79.99
Applications of Fuzzy Logic in Planning and Operation of Smart Grids
$109.00
Mining Latent Entity Structures
$39.99
Fiscal Rules - Limits on Governmental Deficits and Debt
$169.99
Design Thinking Research
$139.99
Undergraduate Student Engagement
$99.99
The Design of Rijndael
$99.99
Mitteilungen ber Forschungsarbeiten auf dem Gebiete des Ingenieurwesens
$59.99
Implementierung organisatorischer Vernderungen
$44.99
