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
Community Energy and Microgrids
$159.99
Crosslinking and Scission in Polymers
$169.99
Der neue Bankkunde
$59.99
Hybrid Evolutionary Algorithms
$169.99
The Capable Executive
$54.99
Theorie der Lernsysteme
$69.99
Geist und Macht: Die Brentanos
$59.99
Advances in Computer Science, Intelligent Systems and Environment
$329.99
Infant and Early Childhood Neuropsychology
$54.99
Internationalization Strategies of German Universities
$84.99
Scheduling
$64.99
Die Ulcuskrankheit ein Immunittsproblem?
$54.99
Applications in Decision-aiding Software
$59.99
Rationality in Science and Politics
$109.99
Marketing und Sales Automation
$69.99
Anthracycline Chemistry and Biology I
$329.99
ffentliche Logistik
$49.99
Video Game Narrative and Criticism
$64.99
Metastasis and Metastability
$49.99
PRIMA 2024: Principles and Practice of Multi-Agent Systems
$64.99
Zur Naturwissenschaft im Allgemeinen
$99.99
Chefsache: Best of 2014 | 2015
$19.99
Pro SQL Server 2012 Practices
$39.99
Neuropharmakologie
$49.99
Tasty Pride - 75 Recipes and Stories from the Queer Food Community by Tasty
$25.00
Multi-GHz Frequency Synthesis & Division
$84.99
Management of Knee Osteoarthritis in the Younger, Active Patient
$39.99
AIDS Impact on Public Policy
$39.99
Emulsion Polymerization of Vinyl Acetate
$39.99
Electron Kinetics and Applications of Glow Discharges
$129.00
International Scientific Conference Energy Management of Municipal Facilities and Sustainable Energy
$219.99
Multimedia-Technologie
$84.99
Meine Zahnarztpraxis konomie
$64.99
El Capitn Calzoncillos y el perverso plan del Profesor Pipicaca (Captain Underpants #4)
$5.99
Fodor's Sicily by Fodor's Travel Publications
$21.99
Recent Developments in Condensed Matter Physics
$54.99
Acanthaster and the Coral Reef: A Theoretical Perspective
$54.99
Genetic Engineering of Microorganisms for Chemicals
$109.99
Vertigo - Neue Horizonte in Diagnostik und Therapie
$59.99
From Communism to Capitalism
$54.99
