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
Hemp and Sustainability
$99.99
Dienstleistungen im Gesundheitssektor
$64.99
Vibration of Structures and Machines
$109.99
Intelligent Systems: Safety, Reliability and Maintainability Issues
$84.99
Die Wahrnehmung stdtischen Wandels in der Postmoderne
$59.99
The Technological Specialization of Advanced Countries
$109.99
Applied Statistical Genetics with R
$59.99
Markenwert und Markenwertermittlung
$74.99
The Economics of Addictive Behaviours Volume II
$59.99
Qualitative Marktforschung
$69.99
Atlantic Water in the Nordic Seas
$109.99
Predicting Real World Behaviors from Virtual World Data
$54.99
Integriertes Geschftsprozessmanagement
$44.99
Proceedings of the 7th International Conference on Civil Engineering
$249.99
Interkulturelle Wirtschaftskommunikation
$69.99
Modelle und verteilte Algorithmen zur Planung getakteter Flielinien
$74.99
Homer, Humanism, Holocaust
$49.99
Balancing Copyright - A Survey of National Approaches
$169.00
101 More Mixed Media Techniques (2019)
$14.69
Boris for the Win
$5.24
Rationality and Emotion
$54.99
Wolfram
$54.99
Moderne Arbeitswelten
$17.99
Agrobacterium Protocols
$129.00
The German Question and Other German Questions
$109.99
Active Networks and Active Network Management
$84.99
Dependable Computing
$39.99
The Origins of Life Volume II
$219.99
A Concise Guide to Statistics
$54.99
Traumatologische Handchirurgie
$69.99
Frontiers and Progress of Current Soft Matter Research
$129.99
A History of British Eugenics since 1865
$129.99
Computer Vision -- ACCV 2012
$54.99
Deskriptive Statistik
$39.99
Animals to the Rescue!: Balto
$4.49
A Brief on Tensor Analysis
$54.95
Advanced Topics in Term Rewriting
$54.99
Die Reform des Strafrechts
$59.99
Asset Management fr Infrastrukturanlagen - Energie und Wasser
$149.00
Print Culture, Agency, and Regionality in the Hand Press Period
$169.99
