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
Integrated Formal Methods
Best Price (Coupon Required):
Buy Integrated Formal Methods for $80.10 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
|
|
$89.00 | $89.00 |
|
10% OFF
This deals requires coupon
|
$80.10 | See Site | In stock | Visit Store |
Product Details
This volume LNCS 14300 constitutes the refereed proceedings of the 18th International Conference, IFM 2023, in November 2023, held in Leiden, The Netherlands. The 16 full papers presented together with 2 short papers were carefully reviewed and selected from 51 submissions. The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice.
Reviews
Questions & Answers
The Nation of India in Contemporary Indian Literature
$54.99
Escaping the Giant Wave
$5.96
Ethics and Policy of Biometrics
$39.99
Exploration of Host Genetic Factors associated with Malaria
$139.00
Global Catastrophic Biological Risks
$139.00
Makrochemische Untersuchungen ber das Vorkommen von Chitin bei Mikroorganismen
$54.99
Das Experiment der Abschreibungsfreiheit in Schweden
$59.99
Microsoft, Antitrust and the New Economy: Selected Essays
$129.00
Economic Development in the MENA Region
$109.00
Kato's Type Inequalities for Bounded Linear Operators in Hilbert Spaces
$59.99
Industrial Clusters in Asia
$109.99
Extreme Programming and Agile Methods - XP/Agile Universe 2002
$39.99
Handbook of Asian American Health
$169.99
Recent advances in Power Systems
$189.00
Open Innovation Business Modeling
$119.99
Almost-Bieberbach Groups: Affine and Polynomial Structures
$54.99
Phenomenological Movement
$74.99
Recent Challenges in Intelligent Information and Database Systems
$199.99
Logistic Core Operations with SAP
$109.99
International Schools, Teaching and Governance
$79.99
Elicitation
$229.00
Development Finance and Policy Reform
$169.99
Basel II und Controlling
$44.99
Companies of Europe 1992/93
$74.99
Communicating Genetics
$109.99
Schnittstellenmanagement bei M&A-Transaktionen
$79.99
Nichtparametrische Analyse und Prognose von Zeitreihen
$59.99
Decision and Game Theory for Security
$59.99
Mikrocontroller
$29.99
Gas Turbine Parameter Corrections
$109.99
Befhigung durch Strkung der Handlungskompetenz
$129.99
Der Semidnnschnitt
$59.99
Spanish Studies in the Philosophy of Science
$39.99
Preparative Organic Chemistry
$39.99
Total Least Squares and Errors-in-Variables Modeling
$109.99
Neurologische Schemata fr die rztliche Praxis
$59.99
Partitions, Objective Indefiniteness, and Quantum Reality
$54.99
Microelectronics Manufacturing Diagnostics Handbook
$169.00
The Physics of Dew, Breath Figures and Dropwise Condensation
$69.99
The Talented Manager
$24.99
