Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Formal Methods and Software Engineering

Best Price (Coupon Required):
Buy Formal Methods and Software Engineering for $54.00 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: $59.99 - $59.99
BEST PRICE

Single Product Purchase

$54.00
@ 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
$59.99 $59.99

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

Product Details

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

This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024. The 22 full papers presented were carefully reviewed and selected from 50 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Essays on Mathematical and Philosophical Logic

Essays on Mathematical and Philosophical Logic

$219.99
Kidney Organogenesis

Kidney Organogenesis

$179.99
Software Language Engineering

Software Language Engineering

$54.99
The Person Behind the Syndrome

The Person Behind the Syndrome

$59.99
Algebraic Surfaces and Holomorphic Vector Bundles

Algebraic Surfaces and Holomorphic Vector Bundles

$89.99
The Superfamily Mactroidea (Mollusca:Bivalvia) in American Waters

The Superfamily Mactroidea (Mollusca:Bivalvia) in American Waters

$139.99
Organverantwortung und Gesellschafterklagen in der Aktiengesellschaft

Organverantwortung und Gesellschafterklagen in der Aktiengesellschaft

$59.99
Origins of Flexible Response

Origins of Flexible Response

$44.99
Sustainability Management in Heritage and Tourism

Sustainability Management in Heritage and Tourism

$159.99
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi

$64.99
Literature Journals in the War of Resistance against Japanese Aggression in China (1931-1938)

Literature Journals in the War of Resistance against Japanese Aggression in China (1931-1938)

$39.99
Das neue Bild des Kometen Halley  Ergebnisse der Raummissionen / Wetter in der oberen Atmosphre

Das neue Bild des Kometen Halley Ergebnisse der Raummissionen / Wetter in der oberen Atmosphre

$59.99
Hooray For Amanda And Her Alligator (Hardcover)

Hooray For Amanda And Her Alligator (Hardcover)

$17.99
Introduction to Computational Mass Transfer

Introduction to Computational Mass Transfer

$129.00
Betubungsmittelmibrauch

Betubungsmittelmibrauch

$69.99
In Harm's Way (Hardcover)

In Harm's Way (Hardcover)

$8.24
Fundamentals of Manufacturing Engineering Using Digital Visualization

Fundamentals of Manufacturing Engineering Using Digital Visualization

$169.99
Farm Alphabet Book

Farm Alphabet Book

$2.99
ber die Wirkung von Bdern mit verschiedenem Kochsalz- und CO2-Gehalt auf Gesunde und Kranke mit Fu

ber die Wirkung von Bdern mit verschiedenem Kochsalz- und CO2-Gehalt auf Gesunde und Kranke mit Fu

$44.99
My Moms Love Me

My Moms Love Me

$3.00
bergabe des Synchro-Zyklotrons an das Institut fr Strahlen- und Kernphysik der Universitt Bonn am

bergabe des Synchro-Zyklotrons an das Institut fr Strahlen- und Kernphysik der Universitt Bonn am

$59.99
French Studies in the Philosophy of Science

French Studies in the Philosophy of Science

$129.00
Die Internet-Galaxie

Die Internet-Galaxie

$64.99
Betriebe, Produktion und Sozialprodukt

Betriebe, Produktion und Sozialprodukt

$79.99
Integraler baulicher Erdbebenschutz IV: Rumlich schwimmende Lagerung und SEISMISCHE-MASSE-ANALOGIE

Integraler baulicher Erdbebenschutz IV: Rumlich schwimmende Lagerung und SEISMISCHE-MASSE-ANALOGIE

$54.99
IUTAM Symposium on One Hundred Years of Boundary Layer Research

IUTAM Symposium on One Hundred Years of Boundary Layer Research

$169.99
Advances in Mathematical Inequalities and Applications

Advances in Mathematical Inequalities and Applications

$129.99
Progress in the Chemistry of Organic Natural Products 112

Progress in the Chemistry of Organic Natural Products 112

$259.00
Natural Products in the New Millennium: Prospects and Industrial Application

Natural Products in the New Millennium: Prospects and Industrial Application

$219.99
Tom Sawyer by Alex Fabrizio

Tom Sawyer by Alex Fabrizio

$8.99
Digital Transformation on Manufacturing, Infrastructure & Service

Digital Transformation on Manufacturing, Infrastructure & Service

$229.00
Zehntes Kolloquium ber metallkundliche Analyse mit besonderer Bercksichtigung der Elektronen- und

Zehntes Kolloquium ber metallkundliche Analyse mit besonderer Bercksichtigung der Elektronen- und

$69.99
Fundamental World of Quantum  (3 volume set)

Fundamental World of Quantum (3 volume set)

$329.99
The Politics of Recognition and Engagement

The Politics of Recognition and Engagement

$139.99
Animal Models of Acute Neurological Injury

Animal Models of Acute Neurological Injury

$129.00
Generative and Transformational Techniques in Software Engineering III

Generative and Transformational Techniques in Software Engineering III

$39.99
FDR and the End of Empire

FDR and the End of Empire

$39.99
Asian Civilization and Asian Development

Asian Civilization and Asian Development

$99.00
Renewable Synthetic Fuels and Chemicals from Carbon Dioxide

Renewable Synthetic Fuels and Chemicals from Carbon Dioxide

$54.99
Eudmonie - Vom guten, besseren, gelingenden Leben

Eudmonie - Vom guten, besseren, gelingenden Leben

$29.99
previous
next