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 $40.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
|
|
$44.99 | $44.99 |
|
10% OFF
This deals requires coupon
|
$40.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The papers detail the development, dissemination, and use of formal methods for the construction of high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area.
Reviews
Questions & Answers
Automatic Control with Experiments
$169.99
Restructuring Japanese Business for Growth
$129.00
Principles of Coding and Reimbursement for Surgeons
$109.99
Evolution of the Mid-Cretaceous Triad
$39.99
Herpetological Osteopathology
$169.00
Die zementlose Fixation von Hftendoprothesen
$59.99
Animal Diversity and Biogeography of the Cuatro Cinegas Basin
$84.99
Chemie fr Ingenieure
$69.99
The Literary Heritage of the Environmental Justice Movement
$89.99
Emerging Economies During and After the Great Recession
$109.99
Financial Risk Management and Climate Change Risk
$69.99
Electrical Transmission Systems and Smart Grids
$169.99
Dopplersonographie in Geburtshilfe und Gynkologie
$129.00
Advances in Computational Intelligence
$99.99
Insanity, Race and Colonialism
$54.99
The Girl Who Drank The Moon Newbery Medal Winner by Kelly Barnhill
$10.99
Kooperatives Projektmanagement
$29.99
Informations- und Kommunikationstechnologie in der Unternehmensberatung
$59.99
Die Methode der Festpunkte zur Berechnung der statisch unbestimmten Konstruktionen mit zahlreichen B
$69.99
The Economics of Franois Quesnay
$39.99
Nuclear Analytical Methods in the Life Sciences
$219.99
Peppa Pig: Peppa Gives Thanks
$5.24
Benchmarking informationssystemgesttzter Geschftsprozesse
$59.99
Verifying Calculations - Forty Years On
$54.99
Sequential Decision-Making in Musical Intelligence
$109.99
Handbuch der Mathematikdidaktik
$89.99
Biofeedback and the Modification of Behavior
$54.99
COVID-19 and International Political Theory
$54.99
Advanced BlackBerry Development
$39.99
Kommunikationskulturen der Weltgesellschaft
$37.99
Speak for Yourself
$7.49
Pivotal Measures in Statistical Experiments and Sufficiency
$109.99
Modeling and Simulation of Complex Systems
$99.99
New Perspectives in Hemodialysis, Peritoneal Dialysis, Arteriovenous Hemofiltration, and Plasmaphere
$39.99
Bau und Bodenschtze Osteuropas
$49.99
Theory of Distributions
$39.99
Computer Analysis of Images and Patterns
$64.99
Apriori and World
$109.99
Proceedings of 3rd International Sustainable Buildings Symposium (ISBS 2017)
$299.00
Wahrscheinlichkeitsrechnung und Induktive Statistik
$29.99
