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
Clinical Cases in Leprosy
$54.99
Shaped Beam Radiosurgery
$169.99
Intelligent Information Processing
$169.99
Young Sun, Early Earth and the Origins of Life
$69.99
Economic Policies since the Global Financial Crisis
$179.99
Cytokine and Chemokine Networks in Cancer
$219.99
Problems of Locus Solved by Mechanisms Theory
$109.99
Hantaviruses
$169.99
Wings of Fire: Talons of Power (#9) (Hardcover)
$12.74
Kristallstrukturbestimmung
$49.99
Wireless Traffic Steering For Green Cellular Networks
$109.99
Deutsche Auenpolitik gegenber Amerika nach 9/11
$49.99
The Boy Who Failed Show and Tell (Hardcover)
$13.49
JSP for Practical Program Design
$54.99
Why Is Baby Grumpy?
$6.74
A Season of Sight Words - Winter: The Sledding Hill
$3.71
Geschftserfolg in Indien
$69.99
Polycystic Ovary Syndrome
$169.99
Hlderlin-Handbuch
$39.99
Logic-Based Program Synthesis and Transformation
$54.99
Assessing and Treating Anxiety Disorders in Young Children
$159.99
The (p,n) Reaction and the Nucleon-Nucleon Force
$54.99
Mechanisms of Cancer Metastasis
$169.00
Biophysical control of microfibril orientation in plant cell walls
$39.99
Nutrition and Feeding of Fish
$349.00
Magnetohydrodynamics: Waves and Shock Waves in Curved Space-Time
$169.99
Global Change and River Ecosystems - Implications for Structure, Function and Ecosystem Services
$169.99
Convergence and Hybrid Information Technology
$84.99
Africa
$0.00
Traditions of Practical Wisdom in Business and Management
$169.99
Biological Control of Rice Diseases
$169.99
Hole Conductor Free Perovskite-based Solar Cells
$54.99
Coyote Tales
$5.21
Energy Policy Making in the EU
$54.99
Detoxing Masculinity in Anglophone Literature and Culture
$139.99
Kindheiten in europischen Migrationsgesellschaften
$49.99
Quell- und Lsereaktionen an Polyacrylnitrilfasern zur Erkennung einer Hitzebehandlung. Beeinflussun
$59.99
Natural Computing Algorithms
$64.99
Methodologies and Intelligent Systems for Technology Enhanced Learning, 11th International Conferenc
$169.00
Device Physics of Narrow Gap Semiconductors
$129.00
