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
Going to War
$54.99
Infrared Radiative Cooling and Its Applications
$179.99
Chirality and Life
$139.99
Religion, Citizenship and Democracy
$119.00
Interval Type-3 Fuzzy Systems: Theory and Design
$139.99
Re-thinking Postcolonial Education in Sub-Saharan Africa in the 21st Century
$39.99
New Leadership CommunicationInspire Your Horizon
$109.00
Cornea
$59.99
Why Mosquitoes Buzz In People's Ears
$6.50
Depoliticising Migration
$64.99
Lactic Acid Bacteria: Genetics, Metabolism and Applications
$169.99
Opportunities in Biotransformations
$219.99
Ueber das Rntgenbild der Influenzapneumonie
$49.99
Entwicklung eines bestandsorientierten Fertigungssteuerungssystems fr die Groserienfertigung am Be
$69.99
Eye of the Earthquake Dragon: A Branches Book (Dragon Masters #13)
$4.49
Das Konzept des inneren Feindes in Guatemala
$44.99
Roar- into the second half of your life (before it's too late) by Michael Clinton
$17.99
Strafprozerecht
$54.99
Software Technology: Methods and Tools
$39.99
A New Commentary on the Poems of W.B. Yeats
$169.99
Spatial Literacy
$38.00
Max & Mo: Let's Make a Snowman!
$3.71
Die Bedeutung von Umwelt und Nachhaltigkeit fr die Gesundheit
$17.99
Dynamic Models and Control of Biological Systems
$89.00
Assessment of Risk from Low-Level Exposure to Radiation and Chemicals
$84.99
Der Euro
$17.99
Semantic Methods for Knowledge Management and Communication
$169.99
Embedded Firmware Solutions
$39.99
The General Theory of Alternating Current Machines
$39.99
Colloquium ber Schaltkreis- und Schaltwerk-Theorie
$39.99
New Waves in Metaphysics
$39.99
Irrational Exuberance Reconsidered
$109.99
Labour and the Politics of Disloyalty in Belfast, 1921-39
$54.99
Soil Science Working for a Living
$169.99
Smart Monitoring of Rotating Machinery for Industry 4.0
$129.00
Beginning ASP.NET E-Commerce in C#
$54.99
Strategien der Personalentwicklung
$59.99
Proceedings of the 10th International Operational Modal Analysis Conference (IOMAC 2024)
$219.00
Resonant Tunneling
$139.00
Digital Phase Modulation
$349.00
