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
C Programming and Numerical Analysis
$69.99
Logic and Implication
$129.99
Macedonias Long Transition
$129.99
Zur Aktualitt von Jean Baudrillard
$19.99
Neurodegenerative Diseases Biomarkers
$169.00
Beastly Blake
$139.99
Banana Fox and the Secret Sour Society
$5.99
Mycoplasma Diseases of Crops
$84.99
Haematococcus
$199.99
Knstliche Intelligenz in der Forschung
$59.99
Soft Matter at Aqueous Interfaces
$54.99
Artificial Life and Computational Intelligence
$39.99
Introducing Corpus-based Translation Studies
$54.99
Brain Art
$199.99
Modernism and Mimesis
$119.99
Die Wassersperrarbeiten bei Bohrungen auf Erdl
$59.99
Electoral Systems and Political Transformation in Post-Communist Europe
$54.99
Markt- und Unternehmensstrukturen bei technischen Dienstleistungen
$59.99
A Guide to Systems Research
$169.99
Advances in Geometry
$84.99
Knowledge, Cause, and Abstract Objects
$109.99
Structural Phase Transitions in Layered Transition Metal Compounds
$169.00
Prolate Spheroidal Wave Functions of Order Zero
$109.99
Numerik
$69.99
Dynamics of Pre-Strained Bi-Material Elastic Systems
$219.99
Besteuerung von Medienberufen
$59.99
Real World ASP.NET
$34.99
Brillouin-Wigner Methods for Many-Body Systems
$169.00
Elektrische Energieversorgung 1
$149.00
FDA and Intellectual Property Strategies for Medical Device Technologies
$169.99
Advanced Research in Starch
$149.00
Raising Capital on ukk Markets
$119.99
The Practice of Supply Chain Management: Where Theory and Application Converge
$89.00
Real-Space Renormalization
$84.99
Grundriss der Hygiene
$59.99
Autonomous Tracked Robots in Planar Off-Road Conditions
$109.99
Languages and Compilers for Parallel Computing
$49.99
Ditetik und Arteriosklerose
$59.99
Handbook of Neuropsychological Assessment
$219.99
