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 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitria, Brazil, during December 46, 2024. The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems; Formal Semantics and Verification of UML Models; Formal Verification and Proof Techniques in Algorithms and Logics; and Formal Methods for Security and Privacy.
Reviews
Questions & Answers
Zu einer Nach-Keynesianischen Weltwirtschaftspolitik
$69.99
Beitrge zum Zivil-, Steuer- und Unternehmensrecht
$54.99
Correctional Counseling and Treatment
$109.99
ESD Design and Analysis Handbook
$109.99
Marxism and Left-Wing Politics in Europe and Iran
$79.99
The Disintegration of the Soviet Union
$169.99
Machine Learning and Knowledge Discovery in Databases
$84.99
Rural Development in China from the Perspective of Relative Poverty
$119.99
Jose Rizal
$49.99
Ground-Based Radar in Structural Design, Optimization, and Health Monitoring of Stationary and Rotat
$139.99
Neue Materialien fr einen realittsbezogenen Mathematikunterricht 2
$24.99
Angst
$69.99
Economic Diversification in the Gulf Region, Volume II
$129.00
Organic Molecules for Nonlinear Optics and Photonics
$219.99
Robust Control Systems
$109.99
The Atomistic Nature of Crystal Growth
$219.99
Resource-Efficient Medical Image Analysis
$59.99
The Andean Cocaine Industry
$54.99
Frames in the Toxicity Controversy
$169.99
Dietary Patterns, Food Chemistry and Human Health
$59.99
Trapping Single Ions and Coulomb Crystals with Light Fields
$39.99
Integrins and Ion Channels
$129.00
Strategic Management of Professional Service Firms
$79.99
ECML PKDD 2018 Workshops
$54.99
Thailand and Japan's Southern Advance, 1940-1945
$109.99
Rimbauds Dichtung
$49.99
Biological, Diagnostic and Therapeutic Advances in Alzheimer's Disease
$109.99
The Erth Dragons: Dark Wyng
$5.99
The Bush Doctrine and Latin America
$54.99
National Supervision and Income Smoothing in Banks Annual Reports
$54.99
Fluglehre
$84.99
New Perspectives and Approaches in Plant Growth-Promoting Rhizobacteria Research
$109.99
Health and Wellness Measurement Approaches for Mobile Healthcare
$64.99
Atmosphrische Ausbreitungsmodellierung
$49.99
Transformed by Crisis
$54.99
bungsbuch Signale und Systeme
$29.99
Development under Dualism and Digital Divide in Twenty-First Century India
$109.99
Class 3.1 Hydrolases V
$329.99
Micro Mentor Texts
$26.99
Dynamic Data Driven Applications Systems
$39.99
