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
Hedgehog signaling activation in human cancer and its clinical implications
$169.99
Fremdunterbringung durch die Jugendwohlfahrt
$59.99
Phrase Structure and the Lexicon
$169.99
Learning About Particles - 50 Privileged Years
$54.99
The Definitive Guide to Modern Java Clients with JavaFX 17
$54.99
Modeling Phase Transitions in the Brain
$219.99
Aktive Kundenbeziehungen mit CRM
$34.99
Die nordischen Lnder
$37.99
Faszination Astronomie
$39.99
Advances in Artificial Intelligence
$54.99
Analytic and Elementary Number Theory
$109.99
Avionik und Flugsicherungstechnik
$69.99
Chaim L. Pekeris and the Art of Applying Mathematics with WEIZAC, 19551963
$39.99
Sub-Versionen
$59.99
Controlled and Conditioned Invariance
$54.99
Optical Scanning Holography with MATLAB
$169.99
Elliptic Differential Equations
$169.99
Higher Education for and beyond the Sustainable Development Goals
$129.99
Atrial Fibrillation
$129.00
Probing the Nature of Gravity
$109.99
Challenges in Mechanics of Time-Dependent Materials, Volume 2
$169.99
Andreotti-Grauert Theory by Integral Formulas
$54.99
Intelligent Organizations
$99.00
Quality of Spatial Data in Command and Control System
$84.99
I Hop I See: I Hop
$5.96
Environmental Indicators and Shellfish Safety
$109.99
3. Colloquium ber Automatentheorie
$64.99
Control of Discrete-Event Systems
$119.00
Machine Intelligence and Soft Computing
$219.99
Geisteswissenschaften
$59.99
Elementary Logic
$59.99
A Werewolf in Riverdale (Archie Horror, Book 1)
$7.49
Language and Religious Identity
$54.99
The Material Letter in Early Modern England
$119.99
The Semantic Web
$109.99
Dampfkessel-Speisepumpen
$79.99
Manual of Physical Status and Performance in Childhood
$54.99
Kleines Lexikon der Betriebsmetechnik
$59.99
The Importance of Aquatic-Terrestrial Ecotones for Freshwater Fish
$219.99
Die Bewltigung organisatorischer bergnge
$49.99
