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
Emotional Abuse and Neglect in the Workplace
$139.00
Solanaceae and Convolvulaceae: Secondary Metabolites
$379.99
Techniques for the Analysis of Membrane Proteins
$39.99
Talent-Management am Beispiel der Automobilwirtschaft
$17.99
The Ultimate Book of Water by Anne-Sophie Baumann
$22.99
New Therapeutic Strategies in Nephrology
$329.99
Nutraceuticals and Cancer Signaling
$219.99
Production at the Leading Edge of Technology
$259.00
Polar Bear Island
$6.71
History and Theory of Superconductors
$24.99
Ab Initio Molecular Dynamics Analysis Based on Reduced-Dimensionality Reaction Route Map
$149.00
Media and New Capitalism in the Digital Age
$39.99
Juan Verdades
$8.21
Neural Nets
$54.99
Cell Membranes
$39.99
Scholastic Discover More Emergent Reader: Creature Features
$5.21
Disney Learning - Fancy Nancy: A Chance to Dance
$5.21
Strategies and Communications for Innovations
$159.00
Nanotechnology in Construction for Circular Economy
$59.99
Classroom Culture in China
$109.99
PAS Proteins: Regulators and Sensors of Development and Physiology
$109.99
Die groe Fhrungskrise
$49.99
Continuum Analysis of Biological Systems
$84.99
Handbook on Artificial Intelligence-Empowered Applied Software Engineering
$169.99
Optimization of the Characterization of the Thermal Properties of the Building Envelope
$54.99
Performance, Talk, Reflection
$109.99
The Sustainable Development Theory: A Critical Approach, Volume 1
$89.00
Towards a Sociology of Nursing
$99.99
Leaders and Leadership in Serbian Primary Schools
$39.99
WEB-BASED INFORMATION TECHNOLOGIES AND DISTRIBUTED SYSTEMS
$119.00
The Transformation of Academic Work
$129.99
A Prescription for Psychiatry
$29.99
Cellular and Molecular Basis of Mitochondrial Inheritance
$119.99
Enzyme-based Biosensors: Recent Advances and Applications in Healthcare
$149.00
Writing Mary I
$159.99
Blandings Practical Physical Distribution
$54.99
Representing the Eighteenth Century in Film and Television, 20002015
$59.99
IT Crisisology Casebook
$159.99
Mehrstufige Losgrenplanung in hierarchisch strukturierten Produktionsplanungssystemen
$59.99
Youth Employment in Bangladesh
$39.99
