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 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on 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
Transformation of Platform Governance in China
$89.00
Matrizen und ihre Anwendungen fr Angewandte Mathematiker, Physiker und Ingenieure
$129.99
Unternehmensfinanzierung mit dem Kapital-dienstleistungsgrad
$59.99
Kooperation in strategischen Wissensnetzwerken
$64.99
Inclusive Society: Health and Wellbeing in the Community, and Care at Home
$39.99
Light from the Depths of Time
$54.99
Planetary Systems: Formation, Evolution, and Detection
$39.99
Real-Time: Theory in Practice
$84.99
Pediatric Surgical Diseases
$219.99
Gabler / MLP Berufs- und Karriere-Planer Life Sciences 2007/2008
$19.99
Marktorientierte Steuerung im Krankenhaussektor
$39.99
Bildgebung HNO-Heilkunde
$179.00
The British Economy 18701939
$54.99
Monte Carlo and Quasi-Monte Carlo Methods in Scientific Computing
$109.99
Suffering and the Intelligence of Love in the Teaching Life
$119.99
Handbook of Porous Carbon Materials
$279.99
Security and Trust Management
$39.99
Rapid Analysis Techniques in Food Microbiology
$129.00
The Palgrave Handbook of Criminology and War
$259.00
Regenerative Simulation of Response Times in Networks of Queues
$39.99
Cell Biology and Translational Medicine, Volume 22
$159.99
The Hope for American School Reform
$54.99
Derrida on the Threshold of Sense
$169.99
Representing Death in the News
$39.99
Family Ties and Psychosocial Processes in an Ageing Society
$119.99
Unkonventionelle Bergbahnen
$44.99
Introducing .NET 4.0
$29.99
Nanobiotechnology in Bioformulations
$169.99
Einfhrung in die Theoretische Physik
$59.99
International Handbook of Health Expectancies
$179.99
Flchenrecycling
$54.99
Mechanics of Composite, Hybrid and Multifunctional Materials, Fracture, Fatigue, Failure and Damage
$189.00
National Geographic Kids: Apples for Everyone
$4.46
Resolution of Singularities of Embedded Algebraic Surfaces
$109.99
Innovative Comparative Methods for Policy Analysis
$129.00
Introduction to Agricultural Engineering Technology
$39.99
Perspectives in Business Informatics Research
$54.99
Microplastics in the Mediterranean Sea
$54.99
Ready-to-Read Pre-Level 1-Otto: See Otto
$3.71
Voting Procedures under Uncertainty
$109.99
