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:
Buy Formal Methods: Foundations and Applications for $44.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$44.99 | 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
Zwischen Kritik und Dogma: Der wissenschaftliche Diskurs
$59.99
Musikalisches Drama und Boulevard
$39.99
Revolution in Iran
$39.99
Evidenz- und Forschungsorientierung in Lehrer*innenbildung, Schule, Bildungspolitik und -administrat
$59.99
Trouper
$4.46
Entrepreneurship and Innovation During Austerity
$39.99
eber kombinierte Vergiftungen im Gewerbe auf Grund der Erfahrungen des Gerichtlich-mediz. Institute
$59.99
Connectomics in NeuroImaging
$54.99
Exploitation of Microorganisms
$169.00
Investitionsbudgetierung mit leistungsorientierter Managemententlohnung
$74.99
Berichte zur Resistenzmonitoringstudie 2009
$39.99
Lignin Chemistry
$249.99
Performing European Memories
$109.99
Computational Financial Mathematics using MATHEMATICA
$74.99
Enterprise, Business-Process and Information Systems Modeling
$54.99
Market Engineering
$59.99
Gravitational Measurements, Fundamental Metrology and Constants
$219.99
Marktmacht 50plus
$44.99
String Processing and Information Retrieval
$39.99
Communication, Networks and Computing
$89.99
Spectroscopic Methods in Organic Chemistry
$79.99
Untersuchungen ber monomere Boroxide
$54.99
Welcome Books-How Things Grow: From Acorn to Oak Tree
$5.21
Exploring the Martian Moons
$29.99
Moral Dilemmas in Real Life
$84.99
From Chemical to Biological Organization
$39.99
Business Information Systems
$39.99
Storyworks 1
$8.75
Millenarianism and Messianism in Early Modern European Culture
$109.99
Adventures in Contemporary Electromagnetic Theory
$149.00
Hydrocarbon Prospectivity in the Eastern Coastal Swamp Depo-belt of the Niger Delta Basin
$54.99
The Linear Theory of Thermoelasticity
$54.99
Female Urinary Tract Infections in Clinical Practice
$54.99
Developing Drug Products in an Aging Society
$149.00
Integration of Pharmacokinetics, Pharmacodynamics, and Toxicokinetics in Rational Drug Development
$99.00
Sehen und die Verarbeitung visueller Information
$44.99
Little Scholastic-Baby Days: Baby Naps
$4.46
Polymer Macro- and Micro-Gel Beads: Fundamentals and Applications
$169.00
Replacement of Renal Function by Dialysis
$39.99
Methodology of Complex Activity
$109.99
