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
The Transition from Graduation to Work
$169.99
Linear Differential Equations in the Complex Domain
$69.99
Die herzwirksamen Glykoside
$69.99
Food Process Engineering
$54.99
Ideas, Interests and the Development of the European Banking Systems
$84.99
Religious Entanglements Between Germans and Indians, 18001945
$129.99
Trees of Life
$109.99
Photochemie und Photographische Chemikalienkunde
$84.99
Politisches Engagement und Selbstverstndnis linksaffiner Jugendlicher
$59.99
Phage Display
$129.00
Politische Planungssysteme
$59.99
Sustainable Development in Mountain Regions
$129.00
International Public Health Policy and Ethics
$139.99
The Dynamics of the Price Structure and the Business Cycle
$54.99
Hormones and Resistance
$139.99
Social Impact Finance
$54.99
Sampling Theory and Practice
$129.99
Transplantation of the Pancreas
$74.99
Intraprocedural Imaging of Cardiovascular Interventions
$139.99
The Science of Sci-Fi Music
$19.99
Teachers Creating Context-Based Learning Environments in Science
$39.99
Counter-Movements in the Sciences
$169.99
Bariomyl, Ein Wirksames Laxans beim Pferde
$54.99
Identity, Ethics, and Nonviolence in Postcolonial Theory
$109.99
Ratgeber Herzinfarkt
$24.99
Fundamentals of Algebraic Specification 2
$54.99
Adaptive Filtering
$109.99
Digitalization Cases
$84.99
Statistical Machine Learning for Engineering with Applications
$129.99
Intelligent Distributed Computing X
$169.99
Multiple Objective and Goal Programming
$109.99
Current Topics in Microbiology and Immunology / Ergebnisse der Mikrobiologie und Immunittsforschung
$84.99
The Camping Trip
$5.96
Play & Learn Math: Number Lines
$8.99
Australian Rules Football During the First World War
$54.99
Verhaltensorientiertes Innovationsmanagement
$59.99
Human Centered Computing
$39.99
Facility Location and the Theory of Production
$129.00
Chaotic Flows
$54.99
Kryptologie
$59.99
