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
Beneficial Plant-Bacterial Interactions
$119.99
The Capacity of Local Governments in Europe
$49.99
Fremde Freunde Feindlichkeiten
$59.99
Non-Projecting Words
$109.99
Proceedings of the 9th International Cancer Congress
$39.99
Humans in the Siberian Landscapes
$109.99
Stochastic Lagrangian Models of Turbulent Diffusion
$49.00
Creativity, Talent and Excellence
$109.99
Distributed Computer and Communication Networks
$54.99
The Cosmic Dust Connection
$259.00
Rechnerstrukturen
$49.99
Advances in Databases and Information Systems
$169.99
Cochlear Anatomy via Microdissection with Clinical Implications
$84.99
Experimental evaluation of stress concentration and intensity factors
$219.99
Handbuch Kognitionswissenschaft
$29.99
Chlorophyll a Fluorescence in Aquatic Sciences: Methods and Applications
$169.99
The Self and its Defenses
$54.99
Irradiation Technology
$84.99
Oil Pollution in the Mediterranean Sea: Part II
$379.99
The Pedagogy of Queer TV
$99.99
Retroviruses
$109.99
Sustainable Agriculture Reviews
$109.99
Bilingual Word Search #1 English-Spanish / Sopa de Letras Bilingue #1 Espanol-Ingles by American Book Group
$14.95
Advanced Technologies for Sustainable Systems
$54.99
Isotope-Based Quantum Information
$49.99
Human Interface and the Management of Information. Information in Applications and Services
$99.99
Evolutionary Multi-objective Optimization in Uncertain Environments
$84.99
Zwischen Wissen und Erwartung Studierende in der Sprachfrderung
$69.99
River Algae
$159.99
Geldanlage und Steuer 2018
$44.99
Software Composition
$39.99
New Partnerships for Innovation in Microfinance
$39.99
Wanderlehrer, Redner, Vortragende
$69.99
Das Klima der bodennahen Luftschicht
$64.99
Carry and Learn Colors
$5.21
Pluralism and the Idea of the Republic in France
$54.99
Expert PHP and MySQL
$54.99
Pete the Cat-My First I Can Read!: Play Ball!
$4.46
Modern Politics and Government
$44.99
Bestimmung der Isotopenverteilung in markierten Verbindungen
$44.99
