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:
Buy Formal Methods: Foundations and Applications for $54.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$54.99 | 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
Donde viven los monstruos
$6.71
Altlastensanierung '90
$74.99
Tax Harmonization and Financial Liberalization in Europe
$54.99
Cereals and Pseudocereals
$219.99
Maple in Mathematics Education and Research
$119.99
Pro ASP.NET MVC 5
$69.99
Advances in Ergonomic Design of Systems, Products and Processes
$219.99
Maximum-Entropy and Bayesian Spectral Analysis and Estimation Problems
$169.99
Environment and Behavior
$39.99
Fuzzy-Methoden
$169.99
Managing Innovation Driven Companies
$54.99
Expert F# 4.0
$84.99
Lectures in Quantum Mechanics
$69.99
Gathering Hopewell
$249.99
Theory of Laminar Film Condensation
$39.99
Ground Water Contamination in India
$109.00
Libertine Enlightenment
$109.99
Internetworking and Computing Over Satellite Networks
$84.99
Neural Information Processing
$89.99
End-of-Life Communication in the ICU
$109.99
Challenges in Scientific Computing - CISC 2002
$84.99
Motivate and Reward
$39.99
You Are Radically Loved - A Healing Journey to Self-Love by Rosie Acosta
$26.00
The Rumen Microbial Ecosystem
$329.99
Modelling and Control
$39.99
Best of Scholastic Grades 3-5
$139.00
Confucianism and Modernisation
$109.99
Passive and Active Measurement
$39.99
Computer Vision ECCV 2020
$109.99
Cellular Therapy for Stroke and CNS Injuries
$129.00
Domestic Crime In The Victorian Novel
$29.99
Clustering, Classification, and Time Series Prediction by Using Artificial Neural Networks
$49.99
Nonlinear Dynamics Aspects of Particle Accelerators
$74.99
Jobs, Earnings, and Employment Growth Policies in the United States
$39.99
Angiogenesis Protocols
$89.00
Parliamentary Power in Russia, 1994-2001
$84.99
Strong Ground Motion Seismology
$329.99
40 Years of Research on Rent Seeking 2
$169.99
Untersuchungen ber die Schnellverbrennung und Schnellvergasung fester Brennstoffe
$59.99
