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 $36.00 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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023. The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions. The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.
Reviews
Questions & Answers
Explorations in the History and Heritage of Machines and Mechanisms
$219.99
Wirtschaft, Geld und Brse in der Zeitung
$69.99
Robots and Art
$199.99
The Paris Embassy
$39.99
Advances in Data Science and Artificial Intelligence
$199.99
Proceedings of the International Conference on Industrial and Manufacturing Systems (CIMS-2020)
$219.99
Alagille Syndrome
$119.99
Seeking Success in E-Business
$109.99
Transmediating the Whedonverse(s)
$99.99
Adaptation to Climate Change in Agriculture
$109.99
Dynamics: Numerical Explorations
$169.99
Signal and Information Processing, Networking and Computers
$169.00
Stem Cell Drugs - A New Generation of Biopharmaceuticals
$109.99
Soziale Ungleichheit
$59.99
Endovascular Surgery of Cerebral Aneurysms
$69.99
Geostatistical Simulations
$109.99
Managing Natural Resource Conflicts with Participatory Mapping and PGIS Applications
$129.00
Induction, Acceptance, and Rational Belief
$169.99
Scientific Astrophotography
$54.99
Book Lovers By Emily Henry
$17.00
Organization, Society and Politics
$54.99
Information Technologies in Environmental Engineering
$219.99
Strategischer Wettbewerb im Weltraum
$89.99
The Way Through the Woods - On Mushrooms and Mourning by Long Litt Woon
$26.00
Transition Metal and Rare Earth Compounds
$259.00
Proceedings of the Future Technologies Conference (FTC) 2018
$169.00
Distributed Access Control in Wireless Networks
$39.99
Moritz Schlick
$84.99
Neuro-Organizational Culture
$54.99
Aspekte des Dramas
$54.99
Evidence-based Non-pharmacological Therapies for Palliative Cancer Care
$199.99
Applications of Artificial Intelligence Techniques in Engineering
$219.99
Metzler Lexikon Fremdsprachendidaktik
$39.99
1970 (Exploring Civil Rights: The Rise)
$8.99
Looking at it from Asia: the Processes that Shaped the Sources of History of Science
$169.00
Swift Heavy Ions for Materials Engineering and Nanostructuring
$109.99
Hyperkinetic Movement Disorders
$219.99
VCSELs
$299.99
Algorithms and Architectures for Parallel Processing
$59.99
Mind-Body: A Categorial Relation
$54.99
