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
Elementary Lectures in Statistical Mechanics
$54.99
Modern Subjectivities in World Society
$99.99
The First Half of the Age of Oil
$54.99
Reading Comprehension
$14.95
School Effectiveness and Educational Management
$54.99
Biologie der Moose
$39.99
Man-Made Ecology of East Kazakhstan
$39.99
Grow Flower, Grow!
$5.21
Migration, Security, and Citizenship in the Middle East
$54.99
Computing Methods in Applied Sciences and Engineering, 1977. Third International Symposium, December
$34.99
Analyzing Population and Land Use Change
$39.99
Ultracool Dwarfs
$109.99
Evolution of Visual and Non-visual Pigments
$139.00
The Call of the Cranes
$32.99
The Physics of Ultra-High-Density Magnetic Recording
$169.99
Quantitative Logic and Soft Computing
$259.00
Schlaglichter der 4. Berlin Biennale fr zeitgenssische Kunst
$29.99
Pro Oracle Database Administration
$54.99
Datenorganisation und Datenbanken
$37.99
DNA Cloning and Assembly Methods
$169.99
Kommunalfinanzen im Umbruch
$59.99
Quality in Higher Education
$39.99
Managing Media and Digital Organizations
$119.00
Arbeitslos chancenlos?
$59.99
Einfhrung in die Wrme- und Stoffbertragung
$59.99
Immunotherapy
$249.99
Supply Chain Scheduling
$139.99
Intelligent Computing, Networked Control, and Their Engineering Applications
$109.99
Virtue Ethics and the Environment
$109.99
Mathematics of Multi Objective Optimization
$54.99
Proceedings of the International Colloquium on Sports Science, Exercise, Engineering and Technology
$219.99
Biopolymers from Renewable Resources
$329.99
Terminologiemanagement
$44.99
Finite Elements in Solids and Structures
$109.99
Berichte zu Pflanzenschutzmitteln 2008
$39.99
Human Conflict from Neanderthals to the Samburu: Structure and Agency in Webs of Violence
$109.99
Organisation als Kooperation
$44.99
Handbuch Strategische Kommunikation
$229.99
Colloids and Surfaces
$84.99
Nonlinear Equations and Operator Algebras
$39.99
