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
APL Programs for the Mathematics Classroom
$54.99
Sprechen Sie fr sich
$14.99
Handbook of Semiconductor Lasers and Photonic
$329.99
Crow Boy
$6.50
Strategische Analyse der sekundren Hypertonieprvention
$59.99
Exploring Transdisciplinarity in Art and Sciences
$84.99
Biochemistry of Scandium and Yttrium, Part 1: Physical and Chemical Fundamentals
$129.00
Das Gefahrtarifwesen und die Beitragsberechnung der Unfallversicherung des Deutschen Reiches
$59.99
Kfer Mitteleuropas, Bd. 2: Adephaga I: Carabidae
$249.99
Hydraulische Pressen und Druckflssigkeitsanlagen
$49.99
Resource-Sensitivity, Binding and Anaphora
$54.99
Researching Cultures of Learning
$109.99
Aging Well
$59.99
Crystallization in Foods
$249.99
Power Electronics for the Next Generation Wind Turbine System
$109.99
Properties and Characterization of Modern Materials
$109.99
Elicitive Conflict Transformation and the Transrational Shift in Peace Politics
$54.99
Handbook of Model Checking
$119.00
Immigration Judicial Reviews
$99.00
Re-Orientalism and Indian Writing in English
$54.99
Leistungsfhigkeit und Keimdrsenhormone
$59.99
Brain Tumors
$44.99
Kompakt-Lexikon Logistik
$49.99
Essentials of C Programming with Microsoft Visual Studio
$99.99
Aufgaben und Lsungen zur Hheren Mathematik 1
$19.99
Brain Imaging
$109.99
The Hereditary Basis of Childhood Cancer
$299.99
Pete the Cat's Groovy Guide to Kindness by James Dean
$12.99
Brgerliches Recht
$59.99
Socially Responsible Investment
$109.99
Policing, Mental Illness and Media
$119.99
Minimally Invasive Neurosurgery and Neurotraumatology
$129.00
The Geopolitics of Australias Regional Relations
$169.99
Genesis of the Financial Crisis
$54.99
Medical Image Computing and Computer Assisted Intervention MICCAI 2020
$109.99
Fireworks MX 2004 Zero to Hero
$34.99
Gewohnheitsrecht und rmisches Recht
$59.99
AI Ethics and Governance
$139.99
Economic Analysis of Mental Health in China
$109.00
Lattice QCD Study for the Relation Between Confinement and Chiral Symmetry Breaking
$109.99
