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
Metaphors in International Relations Theory
$84.99
Key Technologies for Safety Construction of Mined Subsea Tunnels
$139.00
Internet-Marketing und Electronic Commerce
$44.99
Security in Smart Cities: Models, Applications, and Challenges
$109.99
Essential Spaceflight Dynamics and Magnetospherics
$189.00
Herder Jahrbuch - Herder Yearbook 2002
$39.99
Which Babies Shall Live?
$54.99
Research-Based Teacher Evaluation
$84.99
Aneignung neuer Kommunikationstechnologien in sozialen Netzwerken
$69.99
Luminescent and Photoactive Transition Metal Complexes as Biomolecular Probes and Cellular Reagents
$219.99
Moderne Wundbehandlung
$84.99
Die Reduktion der Eisenerze
$59.99
Nonequilibrium Phase Transitions in Semiconductors
$39.99
LACAME 2006
$109.99
Neurodegenerative Disorders
$89.99
Fundamental Problems in the Theory of Stellar Evolution
$109.99
Kostenrechnung und Kostenmanagement fr Ingenieure
$17.99
Tsunami
$84.99
Energy Technology 2021
$169.99
Using Galaxy Tab
$19.99
Spectral Theory of Operators in Hilbert Space
$169.99
Nanotechnology for Electronics, Photonics, and Renewable Energy
$109.99
Multiparticle Quantum Scattering with Applications to Nuclear, Atomic and Molecular Physics
$39.99
Ambient Networks
$54.99
Text, Speech and Dialogue
$54.99
Der Genauigkeitsgrad von Flgelmessungen bei Wasserkraftanlagen
$54.99
Fujian's Tulou
$109.00
Fuzzy-Clusteranalyse
$44.99
One Bug: 6-Book Set
$21.95
Accurate Structure Determination of Free Molecules
$109.99
Women's Reproductive Mental Health Across the Lifespan
$179.99
Perception and Discovery
$129.99
Effective Supply Mechanism and Path of Environmental Public Goods in China
$119.99
The Classification of the Virtually Cyclic Subgroups of the Sphere Braid Groups
$49.99
Unter dem Zeichen des Verkehrs
$59.99
Radikalisierungsnarrative online
$79.99
Gastroesophageal Reflux and the Lung
$169.99
Elektrotechnik fr Ingenieure 2
$49.99
The Information Society: Innovation, Legitimacy, Ethics and Democracy In Honor of Professor Jacques
$109.99
Living and Working in Poverty in Latin America
$54.99
