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 $40.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
|
|
$44.99 | $44.99 |
|
10% OFF
This deals requires coupon
|
$40.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the construction of high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area.
Reviews
Questions & Answers
Mathematik fr konomen III
$23.00
From Identity-Based Conflict to Identity-Based Cooperation
$54.99
Stadtbaustein Wohnen
$64.99
Physics of Polymer Networks
$129.00
Seismicity and Seismic Risk in the Offshore North Sea Area
$169.00
Laser Diode Modulation and Noise
$299.99
Choreographing Problems
$99.99
Leasing in Theorie und Praxis
$74.99
The (De)Legitimization of Violence in Sacred and Human Contexts
$159.99
The Faust Myth
$54.99
Nineteenth-Century Fiction and the Production of Bloomsbury
$55.00
A Clinician's Pearls & Myths in Rheumatology
$129.99
Kompetenz
$44.99
Berechnung magnetischer Felder
$64.99
Professional Pathways to the Presidency
$39.99
Risks of Harm from Psychopathic Individuals
$39.99
A Short Economic History of Modern Japan
$99.00
Organometallic and Coordination Chemistry of the Actinides
$299.00
Novel Biomaterials for Regenerative Medicine
$249.99
International Steam Tables - Properties of Water and Steam based on the Industrial Formulation IAPWS
$189.00
Solar Based Hydrogen Production Systems
$39.99
Agents and Artificial Intelligence
$39.99
From Coal to Biotech
$99.99
Clifford Algebras and their Applications in Mathematical Physics
$39.99
Supportivtherapie in der Onkologie
$39.99
Foundations and Applications of Complexity Economics
$109.99
The Evolution of Feathers
$119.99
Service-Oriented Computing - ICSOC 2007
$84.99
Radar Principles for the Non-Specialist
$79.99
Die Geldmarktsteuerung der Europischen Zentralbank und das Geldangebot der Banken
$59.99
The Date to Save (Hardcover)
$13.49
Italy and Its Discontents
$99.99
Advances of Science and Technology
$39.99
Mediennutzung und politische Sozialisation
$59.99
Desertification in Developed Countries
$84.99
Mathematisch-organisatorische Studie zur Planung der Kapazitt von Betriebsanlagen (bearbeitet am Be
$59.99
Neurobiology of Amino Acids, Peptides and Trophic Factors
$129.00
Talent Relationship Management
$54.99
Reproducing Kernel Spaces and Applications
$109.99
Theranostic Applications of Nanotechnology in Neurological Disorders
$169.99
