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
Ergodic Optimization in the Expanding Case
$39.99
Stimulation of Trigeminal Afferents Improves Motor Recovery After Facial Nerve Injury
$84.99
Esperanza Rising (Hardcover)
$14.24
300 Keywords Informationsethik
$14.99
Demokratische Bildung im Unterricht
$17.99
Bluthochdruck
$69.99
Neoliberalism and Class Conflict in Latin America
$29.99
The British Periodical Press and the French Revolution 1789-99
$54.99
Accounting for the Public Interest
$109.99
Advances in Corneal Research
$39.99
Einfhrung in die Softwareentwicklung mit C
$39.95
Computational Methods and Clinical Applications for Spine Imaging
$54.99
Hydromyelie Syringomyelie und Gliose
$59.99
Discovery Science
$54.99
Machine Learning and Artificial Intelligence for Agricultural Economics
$139.00
Kontrolvorschriften fr die steuerfreie Verwendung von undenaturirtem Branntwein zu Heil-, wissensch
$54.99
People and Computers XVI - Memorable Yet Invisible
$54.99
Klausuraufgaben zur doppelten Buchfhrung
$44.99
Clubfoot and Vertical Talus
$119.00
Beginning Azure Functions
$34.99
Critical Literacy Practice
$39.99
AIDS Ein Virusinfekt des Immunsystems
$69.99
Nonlinear Integral Equations in Abstract Spaces
$109.99
Lung Cancer 1
$39.99
Globalization, Marginalization and Conflict
$119.99
Bedeutende Psychologinnen des 20. Jahrhunderts
$64.99
Whoosh! Lonnie Johnson's Super-Soaking Stream of Inventions
$5.21
Handbook of ELISPOT
$219.99
Generalizing from Limited Resources in the Open World
$79.99
Advances in Smart Grid Technology
$449.99
Generalized Continua as Models for Materials
$129.00
Human Interface and the Management of Information. Information in Intelligent Systems
$69.99
Humanistische Medizin und Kryptocalvinismus
$59.99
Bile Acids in Gastroenterology: Basic and Clinical Advances
$279.99
The English Galileo
$169.00
Discourse Theory in European Politics
$89.99
Process Algebra with Timing
$54.99
Bildung, Ausbildung und Arbeitsmarktchancen in Deutschland
$59.99
Scholastic Junior Classics: The Nutcracker
$2.99
Global Leisure and the Struggle for a Better World
$109.99
