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
Best Price (Coupon Required):
Buy Formal Methods for $76.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
|
|
$84.99 | $84.99 |
|
10% OFF
This deals requires coupon
|
$76.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lbeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.
Reviews
Questions & Answers
Islamic Philosophy and Occidental Phenomenology in Dialogue
$109.99
Lass uns miteinander sprechen
$19.99
Corrosion of Welded Structures
$109.99
Optical Near Fields
$54.99
Knowledge Management and Organizational Memories
$84.99
Ethnohistory and Archaeology
$109.99
Migrantische Mehrsprachigkeit und ffentlichkeit
$74.99
Basics of Plasma Astrophysics
$79.99
Multinationals in China
$54.99
Technische Erziehung in Israel
$59.99
Stadtquartiere auf Zeit
$49.99
Allosteric Regulatory Enzymes
$199.99
Pediatric Neuro-oncology
$84.99
Understanding Genres in Comics
$54.99
Group Theoretical Methods in Physics
$39.99
Reconstructive Neurosurgery
$299.99
Genomic Prediction of Complex Traits
$249.99
Free Radicals in the Brain
$84.99
Multi-wave Electromagnetic-Acoustic Sensing and Imaging
$109.99
Immunology of Human Papillomaviruses
$39.99
Renewable Energy for Unleashing Sustainable Development
$84.99
Advances in Bioinformatics and Computational Biology
$54.99
Working with Ion-Selective Electrodes
$109.99
Low-Power High-Speed ADCs for Nanometer CMOS Integration
$109.99
HCI in Business
$54.99
Circulating Tumor Cells in Breast Cancer Metastatic Disease
$109.99
The Climacteric: An Update
$84.99
Innovative Applications in Data Mining
$84.99
A Critical Public Relations Approach to Crisis Communication and Management
$84.99
Handbook of Quality of Life in African Societies
$169.99
Classic Goosebumps: Night of the Living Dummy (#1)
$5.99
The Scottish Enlightenment and Hegels Account of Civil Society
$169.00
Kreatives Experimentieren
$59.99
Advances in Advertising Research (Vol. 1)
$69.99
Programmieren in C
$59.99
Progress in Turbulence
$219.99
Challenging the Mafia Mystique
$54.99
Dispersive Kinetics
$109.99
Algorithms and Architectures for Parallel Processing
$39.99
Issues in Contemporary Oil Paint
$129.99
