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:
Buy Integrated Formal Methods for $89.00 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$89.00 | 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
Air Traffic Management and Systems IV
$219.00
The Metaphysics of Action
$24.99
The Impossibility of Squaring the Circle in the 17th Century
$49.99
Living with China
$54.99
Zeugnisse zur Altenglischen Odoaker-Dichtung
$59.99
Soil Geomorphology
$109.99
Historical Archeology of Tourism in Yellowstone National Park
$109.99
Institutional Partnerships in Multi-Hazard Early Warning Systems
$169.99
The Buried (Hardcover)
$14.24
Migrantische Mehrsprachigkeit und ffentlichkeit
$74.99
Mobile Data Management
$39.99
Socialization, Moral Judgment, and Action
$109.99
Engineering Behaviour of Rocks
$54.99
Der elektrische Antrieb von Werkzeugmaschinen
$69.99
Fractals in Biology and Medicine
$34.99
Potato Seed Production
$169.99
Erfolgreiche Abschlussarbeiten - Internationale Rechnungslegung
$24.99
Structural Dynamics and Renewable Energy, Volume 1
$169.00
Silicene
$54.99
Acta Demographica 1993
$59.99
Urban and Community Forestry in the Northeast
$169.99
Beitrag zur Prfung metallischer Strahlmittel
$59.99
Grundlagen der photovoltaischen Energiewandlung
$69.95
Quick Guide Content Marketing fr den B2B-Mittelstand
$19.99
The Photochemistry of Carotenoids
$259.00
Public Key Cryptography - PKC 2007
$39.99
Medikalisierung und Soziale Arbeit
$79.99
Language and Cognition
$109.99
Pro Perl Parsing
$39.99
Applied Marketing
$169.00
Physics and Nuclear Arms Today
$109.99
Alfred Tennyson
$19.99
Information and Communication Technologies for Development
$54.99
Modeling and Simulation of High Speed VLSI Interconnects
$84.99
Language Comprehension
$84.99
Markov Models for Handwriting Recognition
$54.99
Verkehrshaftungsversicherungen
$69.99
Die Montage im flexiblen Produktionsbetrieb
$59.99
Graphene Based Biopolymer Nanocomposites
$179.99
Advanced Materials for Multidisciplinary Applications
$189.00
