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
100 Super Sight Word Poems
$11.24
Sozialpolitik kompakt
$19.99
Future of the Multinational Enterprise
$44.99
Topological and Bivariant K-Theory
$49.95
Negotiated Justice and Corporate Crime
$59.99
Neurosurgical Care of Athletes
$169.99
Growth in Open Economies
$54.99
A Mathematical Perspective on Flight Dynamics and Control
$79.99
Smart Innovations in Communication and Computational Sciences
$169.99
Bordgebundenes Verfahren zur Messung von Scherwinden und deren Einwirkung auf Flugbewegungen in bode
$59.99
Kooperation und Innovation fr eine nachhaltige Stadtentwicklung
$89.99
Return to Play in Football
$169.00
Financial Cryptography and Data Security
$59.99
Meta-Analytic Structural Equation Modelling
$69.99
Introduction to Artificial Life
$54.99
Applied Nature-Inspired Computing: Algorithms and Case Studies
$109.99
Reliable Computer Systems
$54.99
Betriebswirtschaftliche Datenverarbeitung
$59.99
Power and Issue Framing in the Contemporary World
$119.99
Neurocritical Care
$139.99
Finanzmathematik mit dem PC
$29.99
The United Nations under Ban Ki-moon
$84.99
Die Reichseisenbahnen
$59.99
Ethnomusicology
$54.99
Diagnostic Imaging of the Liver Biliary Tract and Pancreas
$109.99
Mathematik fr Einsteiger
$39.99
From Product Description to Cost: A Practical Approach
$169.99
The Purple Phototrophic Bacteria
$329.99
Phenomenology and Intersubjectivity
$54.99
Multinational Enterprises, Foreign Direct Investment and Growth in Africa
$84.99
Assemblages of Health
$89.00
Democracy, Identity and Foreign Policy in Turkey
$54.99
Complex Systems Operational Approaches in Neurobiology, Physics, and Computers
$39.99
Virus Entry Inhibitors
$199.99
Information Systems: People, Organizations, Institutions, and Technologies
$129.00
Psychologie in der medizinischen Rehabilitation
$54.99
Heterogeneous Media
$84.99
Kollaborationen zwischen Kreativwirtschaft und Mittelstand
$39.99
Guide to Signal Pathways in Immune Cells
$109.99
Water Pricing Experiences and Innovations
$169.99
