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
Zur Entstehung der Maximen La Rochefoucaulds
$59.99
Intelligent Methods for Cyber Warfare
$109.99
Array Signal Processing
$84.99
The Digital Economy - Anspruch und Wirklichkeit
$99.00
South Africa's Shakespeare and the Drama of Language and Identity
$109.99
Die Abschtzung des Wertes industrieller Unternehmungen
$59.99
Practical Applications of Medical Geology
$249.99
Doing Innovation
$44.99
Future Visions on Biomedicine and Bioinformatics 2
$109.99
Linear Turning Point Theory
$54.99
Rigid Germs, the Valuative Tree, and Applications to Kato Varieties
$24.99
Die Geburt aus ethnomedizinischer Sicht
$64.99
Drug Action at the Molecular Level
$59.99
Speech Spectrum Analysis
$84.99
Diskrete Mathematik
$19.99
Experimentation in Software Engineering
$89.99
Umweltmanagementsysteme nach ISO 14001
$17.99
Principles and Applications of Hydrochemistry
$39.99
Reactivity of Nitric Oxide on Copper Surfaces
$109.99
A to Z Mysteries: The New Year Dragon Dilemma
$5.21
Die Sortimentspolitik in den Betrieben des Wareneinzelhandels
$59.99
Lust auf Leistung
$64.99
Shapes and Diffeomorphisms
$99.99
Bilingualism: A Social Approach
$109.99
Methods in Membrane Lipids
$169.99
The Many Faces of Youth Crime
$109.99
Order,Disorder and Chaos in Quantum Systems
$39.99
mHealth Innovation in Asia
$59.99
Theory of Cryptography
$54.99
Position and Change
$169.99
Cyberbeben
$69.99
Radio Recombination Lines: 25 Years of Investigation
$39.99
Herbicide Residue Research in India
$169.99
Polycystic Ovary Syndrome
$99.00
Inside Interesting Integrals
$34.99
Seeds of Destruction
$84.99
The Limits of Authoritarian Governance in Singapore's Developmental State
$109.00
Universal Basic Income and the Reshaping of Democracy
$54.99
Public Key Cryptography PKC 2008
$39.99
Ingenium und Individuum
$84.99
