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 World Community and the Arab Spring
$129.99
Fixateur-externe-Osteosynthese
$59.99
Experience and Knowledge Management in Software Engineering
$54.99
In guter Gesellschaft?
$19.95
Funktionale und Applikative Programmierung
$49.99
Seminar on Differential Equations and Dynamical Systems
$34.99
Russophobia
$129.99
Zukunft verantwortungsvoll gestalten
$44.99
The Cox Model and Its Applications
$39.99
Finanzierung: Anleihen, Aktien, Optionen
$24.99
Equivalent Fractions Grade 3 Differentiation Pack
$5.99
Plant Tissue Culture Manual - Supplement 7
$39.99
Current Trends in Analysis and Its Applications
$129.00
Intelligent Manufacturing and Mechatronics
$279.99
Policy Design in the European Union
$129.99
DNA Methylation and Cancer Therapy
$169.99
Multi-scale Modelling for Structures and Composites
$109.99
Affordable Housing Finance
$109.99
Population Redistribution and Development in South Asia
$84.99
Untersuchung zur rationellen Verarbeitung von Leinengarnen
$59.99
IR Theory, Historical Analogy, and Major Power War
$79.99
Probiotic Bacteria and Enteric Infections
$169.00
Reuse Techniques for VLSI Design
$109.99
Wisdom, Well-Being, Win-Win
$79.99
Aktiv ins Sekretariat 2000
$69.95
Advanced Computing
$99.99
Measurements of High Energetic Auroral Radiations with Balloon-Borne Detectors in 1962 and 1963
$54.99
Guided Science Readers: Animals-Level C: Desert Animals
$3.71
Computer Safety, Reliability, and Security
$39.99
Electromagnetic Ultrasonic Guided Waves
$129.00
Biology of Depressive Disorders. Part A
$169.99
Praktischer Umgang mit Kopf- und Gesichtsschmerzen
$84.99
Prostitution and Human Trafficking
$84.99
Prisoners on Prison Films
$64.99
Antimicrobials
$169.99
Praxiswissen Umwelttechnik Umweltmanagement
$59.99
Die Energiewirtschaft Ostdeutschlands Stand und Entwicklung
$39.99
Zur Entstehung, Authentizitt und Kritik von Brnings Memoiren 19181934
$79.99
Data Science and Visual Computing
$39.99
Handbook of Ocean Wave Energy
$59.99
