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
New Trends in Geometric Analysis
$119.00
Die Zukunft unserer Energieversorgung
$59.99
Die cerebralen Entmarkungskrankheiten im Kindesalter
$69.99
Pedestrian and Evacuation Dynamics
$169.99
Cancer Immunology: Innovative Approaches to Therapy
$169.00
Solid-state Microwave Generation
$329.99
The Development of American Federalism
$169.99
Geschichte der Politikwissenschaft
$37.99
New Developments in Singularity Theory
$109.99
The Physics of Blown Sand and Desert Dunes
$39.99
Heine-Jahrbuch 2013
$19.99
Casebook of Orthopedic Rehabilitation
$54.99
Investigators: Predators: Snakes: Strikers and Squeezers
$4.46
The Epidemiology of Alimentary Diseases
$84.99
Analyzing T Cell Responses
$129.00
Computer Vision and Image Processing
$129.99
Entwicklung und Konstruktion der Unterseeboots-Sehrohre
$59.99
Progress in Surgery of the Liver, Pancreas and Biliary System
$39.99
Membranbiochemie
$69.99
Stepsister (Hardcover)
$13.49
Die Bekmpfung des Internationalen Islamistischen Terrorismus
$89.99
Parkinsons Disease and Movement Disorders
$299.99
The Correlative Brain
$84.99
Experimentelle und klinische Immunologie
$69.99
Facility Management
$69.99
Statistical Methods for Environmental Epidemiology with R
$69.99
Legal Study on Chinas Sovereignty over the Nansha Islands
$139.99
Learning-by-doing und endogenes Wachstum
$59.99
Stereoselective Desymmetrization Methods in the Assembly of Complex Natural Molecules
$109.99
Knowing, Knowledge and Beliefs
$169.99
Contaminant Geochemistry
$169.99
Beginning Machine Learning in the Browser
$44.99
Elektrotechnik und Elektronik
$34.99
Gottfried Keller-Handbuch
$74.99
In die blaue Ferne
$44.99
Dragon Prince: Book One: Moon
$7.49
COVID-19
$139.99
Runtime Verification
$39.99
Real Functions - Current Topics
$44.99
Fahrdynamik und Automatisierung von spurgebundenen Transportsystemen
$59.99
