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 $49.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
|
|
$54.99 | $54.99 |
|
10% OFF
This deals requires coupon
|
$49.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 20th BrazilianSymposium on Formal Methods, SBMF 2017, which took place in Recifel,Brazil, in November/December 2017. The 16 papers presented together with three invited talks were carefullyreviewed and selected from 37 submissions. They are organized in thefollowing topical sections: formal methods integration and experience reports;model checking; refinement and verification; and semantics and languages. The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.
Reviews
Questions & Answers
Breaking Down Barriers
$189.00
Floral Biology
$219.99
Trans-Atlantic Passages
$39.99
Applications in Electronics Pervading Industry, Environment and Society
$249.99
Biographien in Bewegung
$49.99
Human Retrovirus Protocols
$129.00
Fhrung an Hochschulen aktiv gestalten
$17.99
Granite Skyscrapers
$34.99
Renormings in Banach Spaces
$159.99
Mathematical Modeling in Biomedical Imaging II
$34.99
Biocommunication of Ciliates
$169.99
Zur Zukunft der externen Rechnungslegung in Deutschland
$99.99
Demokratiedidaktik
$49.99
Environmentally-Friendly Product Development
$259.00
The Engineering of Mixed Reality Systems
$219.99
Teaching Adaptations
$54.99
The Glitter Bug: A Branches Book (Unicorn Diaries #9)
$5.24
Courageous Resistance
$54.99
Finite Volumes for Complex Applications XVolume 2, Hyperbolic and Related Problems
$249.99
Cerebral Vasospasm
$169.99
The Economics of Advertising
$44.99
Psychology in Economics and Business
$84.99
Collective Excitations in the Antisymmetric Channel of Raman Spectroscopy
$199.99
The Palgrave Hegel Handbook
$199.99
I Survived - Graphix: I Survived the American Revolution, 1776
$8.24
Ambient Intelligence: Impact on Embedded System Design
$169.99
Proceedings of the 2013 International Symposium on Liquid Metal Processing and Casting
$149.00
Coordination Chemistry
$54.99
Software Technologies: Applications and Foundations
$54.99
Yearbook on Space Policy 2009/2010
$109.99
Handbuch Unterhaltungsproduktion
$59.99
Models and Idealizations in Science
$89.00
Finanzintermediation durch Banken und Versicherungen
$39.99
Formation of the Islamic Jurisprudence
$99.99
Scholastic Success With Contemporary Cursive: Grades 2-4 Workbook
$5.24
Conceptual Modeling: Foundations and Applications
$54.99
Dynamic Mixed Models for Familial Longitudinal Data
$109.99
SOFSEM 2005: Theory and Practice of Computer Science
$54.99
Formation and Evolution of Low Mass Stars
$219.99
Chemistry of Trace Elements in Fly Ash
$219.99
