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
Engineering Reality
$169.99
Marxism and Left-Wing Politics in Europe and Iran
$79.99
Einfhrung in die Programmiersprache APL
$59.99
The Palgrave Handbook of European Media Policy
$169.99
Social Selling im B2B
$17.99
Mikrochemische Methoden fr neurobiologische Untersuchungen
$69.99
Bewertung von Zinsoptionen bei stochastischer Zinsvolatilitt
$69.99
Knowledge and Value
$109.99
Fantastic Beasts and Where to Find Them
$20.99
Code Generation for Embedded Processors
$169.00
Erfolgswirkung des Management-Stils
$69.99
Essays in Mathematics and its Applications
$109.99
Dog Man Books 1-5 (Hardcover)
$46.00
Handbook of Multicultural Perspectives on Stress and Coping
$279.99
Ethics in Pediatrics
$169.99
Glaciated Continental Margins
$74.99
A Corpus-Based Analysis of Discourses on the Belt and Road Initiative
$129.99
Computational Processing of the Portuguese Language
$89.99
Angewandte Echokardiographie
$59.99
The Fallacy of Corporate Moral Agency
$39.99
Networks in Water Governance
$119.00
Governance, Regulation and Bank Stability
$54.99
Crosslinking in Materials Science
$169.00
Natural Products via Enzymatic Reactions
$169.00
Modular Load Flow for Restructured Power Systems
$84.99
Expressive Therapies for Sexual Issues
$109.99
Reconciliation in Conflict-Affected Communities
$139.99
Contemporary Research in the Foundations and Philosophy of Quantum Theory
$54.99
El lobo llama a la puerta
$2.99
Human Brain Stem Vessels
$549.00
Variantenvielfalt und Logistiksysteme
$44.99
Algebraic Geometry I: Schemes
$89.99
Immigration and Crime
$39.99
Pokmon: Race to Danger
$3.74
Institutional Dynamics and the Evolution of the Indian Economy
$54.99
Magic Tree House: #24 Earthquake in the Early Morning
$5.21
Haloalkyne Chemistry
$54.99
The Myth of Statistical Inference
$169.99
Bonner Enzyklopdie der Globalitt
$199.99
Betriebswirtschaftslehre als Einzelwirtschaftstheorie der Institutionen
$49.99
