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
SPA - Screening psychischer Arbeitsbelastung
$49.99
Prepare for the MRCPsych CASC Exam
$139.99
Digital Controller Implementation and Fragility
$169.99
Targeting Functional Centers of the Ribosome
$39.99
Contesting Malaysias Integration into the World Economy
$99.99
Jugendliche Lebenswelten nach 1945
$44.99
Innovative Approaches in the Delivery of Primary and Secondary Eye Care
$129.99
Primary Care in Obstetrics and Gynecology
$54.99
Nanowire-assisted Flow-through Electrode Enabling Electroporation Disinfection of Reclaimed Water
$179.99
Applications of VHDL to Circuit Design
$84.99
New Directions of Local Higher Education Policy
$129.99
Revisiting Searle on Deriving "Ought" from "Is"
$99.00
Neurobiology of Sensory Systems
$219.99
Die Steigerung der Dauerhaltbarkeit von Schrauben durch Gewindedrcken
$59.99
The Maritime Turn in EU Foreign and Security Policies
$129.99
Formulation, Characterization, and Stability of Protein Drugs
$169.00
Insektenwunderwelt - Einstieg in die Entomologie
$44.99
Strategic International Marketing
$84.99
Richtwertvorgabe und Externoptimierung beim spitzenlosen Durchlaufschleifen
$84.99
Choice Computing: Machine Learning and Systemic Economics for Choosing
$109.99
Web and Wireless Geographical Information Systems
$39.99
Gynecology and Obstetrics Urology
$54.99
The Palgrave Handbook of Social Democracy in the European Union
$169.00
Language and Spirit
$139.99
Antenna Systems for Modern Wireless Devices
$149.99
Groundwater and Water Quality
$109.99
Effective Lagrangians for the Standard Model
$59.99
Reshaping Society through Analytics, Collaboration, and Decision Support
$39.99
Politikevaluation
$37.99
Sensorimotor Control of Movement and Posture
$329.99
Die relative Energieverteilung im infraroten Spektrum von 18 Fundamentalsternen
$59.99
Climate Change Challenge (3C) and Social-Economic-Ecological Interface-Building
$169.99
Teacher Awareness as Professional Development
$54.99
Keynes and Economic Policy
$54.99
Einfhrung in die Technische Thermodynamik und in die Grundlagen der chemischen Thermodynamik
$49.99
Services Computing for Language Resources
$39.99
Knowledge Technology
$39.99
Lorentzinvariante Gravitationstheorie
$54.99
A Systemic Transition to Circular Economy
$159.99
Proceedings of the International Conference on Earthquake Engineering and Structural Dynamics
$219.99
