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
Employment, Income Distribution and Development Strategy: Problems of the Developing Countries
$99.00
Advances in Bioactivation Research
$219.99
Windows 95 Anwendungs- und Systemprogrammierung
$54.99
Projects as Arenas for Renewal and Learning Processes
$129.00
Visualisierung in Mathematik, Technik und Kunst
$59.99
National Space Legislation for India
$109.99
Rationality Problems in Algebraic Geometry
$49.99
The Baby-Sitters Club Graphix: The Truth About Stacey
$9.74
Recent Advances in Neurotraumatology
$54.99
Schwanzlose Flugzeuge
$54.99
Kulturelle Kommunikation in internationalen Unternehmen
$59.99
Elementare Methoden der numerischen Mathematik
$69.95
Die Kunst des Unterscheidens
$49.99
Fehlzeiten-Report
$49.95
Bibliography 197273 Organic and Organometallic Crystal Structures
$39.99
Alterity, Values, and Socialization
$54.99
Population Genomics: Microorganisms
$199.99
The Biological Activity of Phytochemicals
$89.00
Numerical Methods for Processes in Fractured Porous Media
$99.99
Convergence: Breaking Down Barriers Between Disciplines
$169.00
Methodologie der Sozialwissenschaften
$29.99
Zur Voraussage kommunaler Investitionsbedarfe
$59.99
Ultrastructural Plasticity of Cyanobacteria
$169.99
Computational Intelligence in Data Science
$54.99
Stabilization, Safety, and Security of Distributed Systems
$84.99
Physiological Plant Ecology I
$169.99
Andere Sichtweisen auf Intersektionalitt
$54.99
Waveguide Propagation of Nonlinear Waves
$109.00
Nanometer CMOS RFICs for Mobile TV Applications
$84.99
Statistics and Probability in High School
$39.99
Die konomie und das Nichts
$19.99
Berechnung und Gestaltung der Triebwerke schnellaufender Kolbenkraftmaschinen
$79.99
Die Akute Mittelohrentzndung
$59.99
Reconfigurable Manufacturing Systems and Transformable Factories
$219.99
Nitroxide Radicals and Nitroxide Based High-Spin Systems
$549.99
Ceramic Hardness
$219.99
Diagrammatic Representation and Inference
$69.99
The Development of Gas Turbine Materials
$84.99
Structure Determination by X-ray Crystallography
$109.99
Bertrand Russell's Philosophy of Language
$109.99
