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
Tterprofile bei Gewaltverbrechen
$89.99
Allgemeine Psychopathologie
$79.99
Explanation and Social Theory
$19.99
Wertschpfungsnetzwerke
$89.99
Cost Structure and the Measurement of Economic Performance
$169.00
Omnisophie-Trilogie
$79.99
Building American Public Health
$39.99
Probing Unconventional Transport Regimes in Delafossite Metals
$109.99
Stochastic Processes - Mathematics and Physics II
$34.99
Modernizing the Role of the International Court of Justice
$129.99
Political Alternation in the Azores, Madeira and the Canary Islands
$54.99
Die Moralisierung der Finanzmrkte als Fiktion
$39.99
Professionalittsentwicklung in der Erwachsenenbildung & Weiterbildung als Mehrebenen-Phnomen
$89.99
Leaders in Philosophy of Education
$49.99
The Intrinsic Bispectrum of the Cosmic Microwave Background
$109.99
Handbuch Offene Kinder- und Jugendarbeit
$109.00
Trigonometry
$29.99
Die Praxis des Knowledge Managements
$49.99
Spring After Spring
$6.71
Social Exclusion in Later Life
$59.99
Plotinus Psychology
$84.99
Mathematical and Statistical Methods for Actuarial Sciences and Finance
$199.99
Determinants of Innovation
$109.99
Mechanical Properties of Polymers Measured through AFM Force-Distance Curves
$109.99
Multivariate, Multilinear and Mixed Linear Models
$149.00
Supercomputing
$54.99
New Cities and Community Extensions in Egypt and the Middle East
$179.99
Modeling and Diagnostics of Polymer Electrolyte Fuel Cells
$169.99
A Duck, Duck, Porcupine! Book: My Kite Is Stuck! and Other Stories
$5.21
Untersuchungen ber bandagierte Zahnrder
$84.99
From Phenomenology to Thought, Errancy, and Desire
$329.99
Handbook of Outpatient Medicine
$129.00
Aspekte der physikalischen Begriffsbildung
$59.99
Die Zulassung von Wertpapieren zum Brsenhandel
$59.99
Modern Instrumentation for Scientists and Engineers
$39.99
Windows 8 XAML Primer
$19.99
Analyse der Harze Balsame und Gummiharze nebst ihrer Chemie und Pharmacognosie
$59.99
Rookie Read-About Geography-Continents: South America
$4.46
Bacteriophages
$169.00
Dynamic Neural Field Theory for Motion Perception
$109.99
