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 Principles and Practice of Yoga in Cardiovascular Medicine
$99.00
Documentation, Disappearance and the Representation of Live Performance
$119.99
Trends in Colloid and Interface Science VIII
$39.99
Crayfishes, Lobsters and Crabs of Europe
$189.00
Interregionalism across the Atlantic Space
$109.99
Dynamical Phase Transitions in Chaotic Systems
$159.99
Social Theory
$69.99
Not Saussure
$59.99
Colonization, Proselytization, and Identity
$54.99
Finanzierung
$59.99
The Principles of Green and Sustainability Science
$109.99
Impact Spectropolarimetric Sensing
$219.99
Scholastic EDGE for PreK
$645.99
New Mathematical Cuneiform Texts
$149.00
Geotechnical Engineering and Sustainable Construction
$259.00
Professionell Telefonieren
$49.99
Innovation in Language Learning and Teaching
$54.99
Fine-Needle Biopsy of Superficial and Deep Masses
$84.99
Student Retention and Success in Higher Education
$169.99
Strategic Public Relations
$109.99
Ramanujan's Place in the World of Mathematics
$129.99
Polarization Bremsstrahlung on Atoms, Plasmas, Nanostructures and Solids
$109.99
Web Information Systems Engineering WISE 2021
$109.99
Mimetic Theory and Islam
$99.99
The Rights of the Child in a Changing World
$109.99
The Picture of Dorian Gray (Barnes & Noble Collectible Editions) by Oscar Wilde
$15.00
Zukunftsfhiges Deutschland
$44.99
Elektrohydraulik
$64.99
Innovative Computing Vol 2 - Emerging Topics in Future Internet
$249.99
Hedwig Conrad-Martius
$129.99
Stem Cells and Cancer Stem Cells, Volume 4
$169.00
Museums and Digital Culture
$149.00
Secondary School Education in Ireland
$84.99
Gas Turbine Parameter Corrections
$109.99
Introduction to Grothendieck Duality Theory
$24.99
Echoenzephalographie
$69.99
Language Learning of Adult Migrants in Europe
$129.00
Computer Supported Collaborative Writing
$54.99
International Handbook of Occupational Therapy Interventions
$89.00
Benchmarking Handbook
$109.99
