Breaking News!
Up to 30% Off Nike Footwear

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.

1 Offer Price Range: $89.00 - $89.00
BEST PRICE

Single Product Purchase

$80.10
@ Link.springer.com with extra coupon

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
@ Link.springer.com
$89.00 $89.00

10% OFF
This deals requires coupon
$80.10
See Site In stock Visit Store

Product Details

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783031477058
Condition
New
Product Description

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.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

My Books Summer Grade 8 Nonfiction - Classroom Set

My Books Summer Grade 8 Nonfiction - Classroom Set

$795.00
Mathematical Foundations of Information Retrieval

Mathematical Foundations of Information Retrieval

$54.99
Multimedia Applications

Multimedia Applications

$54.99
Maschinenkunde fr den Schlachthof-Betrieb

Maschinenkunde fr den Schlachthof-Betrieb

$59.99
The Law of Bone Remodelling

The Law of Bone Remodelling

$99.00
Introduction to Organic Electronic Devices

Introduction to Organic Electronic Devices

$84.99
Creating Value and Improving Financial Performance

Creating Value and Improving Financial Performance

$139.00
Die Besteuerung auslndischer Familienstiftungen nach dem Auensteuergesetz

Die Besteuerung auslndischer Familienstiftungen nach dem Auensteuergesetz

$59.99
Playing Around Resonance

Playing Around Resonance

$89.99
Approaches to Probabilistic Model Learning for Mobile Manipulation Robots

Approaches to Probabilistic Model Learning for Mobile Manipulation Robots

$109.99
New Aspects in the Treatment of Failing Heart

New Aspects in the Treatment of Failing Heart

$54.99
Seafood Regulations Compliance Manual

Seafood Regulations Compliance Manual

$219.99
Entrepreneurship and Well-being

Entrepreneurship and Well-being

$169.99
Peace, Complexity, Visuality

Peace, Complexity, Visuality

$119.00
Tasty Pride - 75 Recipes and Stories from the Queer Food Community by Tasty

Tasty Pride - 75 Recipes and Stories from the Queer Food Community by Tasty

$25.00
Hybrid Renewable Energy Systems for Remote Telecommunication Stations

Hybrid Renewable Energy Systems for Remote Telecommunication Stations

$169.99
The 5Cs Positive Teacher Interpersonal Behaviors

The 5Cs Positive Teacher Interpersonal Behaviors

$159.99
Statik mit finiten Elementen

Statik mit finiten Elementen

$39.95
Quality Function Deployment (QFD)

Quality Function Deployment (QFD)

$17.99
Neusiedlersee: The Limnology of a Shallow Lake in Central Europe

Neusiedlersee: The Limnology of a Shallow Lake in Central Europe

$84.99
Erzhlte Politik

Erzhlte Politik

$69.99
Indias Economic Development Strategies 19512000 A.D

Indias Economic Development Strategies 19512000 A.D

$219.99
Buchfhrung intensiv

Buchfhrung intensiv

$19.99
Betriebliches Gesundheitsmanagement

Betriebliches Gesundheitsmanagement

$59.99
Treatment of Radiation Injuries

Treatment of Radiation Injuries

$129.00
Papierchromatographie in der Botanik

Papierchromatographie in der Botanik

$64.99
Acute Leukemias V

Acute Leukemias V

$54.99
Formative Assessment and Science Education

Formative Assessment and Science Education

$84.99
Random Coefficient Autoregressive Models: An Introduction

Random Coefficient Autoregressive Models: An Introduction

$54.99
How Systems Form and How Systems Break

How Systems Form and How Systems Break

$139.99
Adaptive Digital Filters

Adaptive Digital Filters

$109.99
Seafood Processing By-Products

Seafood Processing By-Products

$129.00
Successes, Limitations, and Frontiers in Ecosystem Science

Successes, Limitations, and Frontiers in Ecosystem Science

$54.99
Dienstleistungen in der konomischen Theorie

Dienstleistungen in der konomischen Theorie

$74.99
Katathym Imaginative Psychotherapie

Katathym Imaginative Psychotherapie

$39.95
Whiteness, Otherness and the Individualism Paradox from Huck to Punk

Whiteness, Otherness and the Individualism Paradox from Huck to Punk

$54.99
Maritains Ontology of the Work of Art

Maritains Ontology of the Work of Art

$54.99
Magnetohydrodynamics and Spectral Theory

Magnetohydrodynamics and Spectral Theory

$129.00
Students Quality Circles

Students Quality Circles

$129.99
Battle Dragons: City of Thieves

Battle Dragons: City of Thieves

$5.99
previous
next