Code: 46820668

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer, Berlin
SKU: 46820668
Price: 77.24 EUR
Availability: InStock
Author: Kazuhiro Ogata
ISBN: 9789819606160

by Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu

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 ... more

Language: English
Binding: Paperback
Number of pages: 397
Publisher: Springer, Berlin, 2025
More about this

77.24 €

RRP: 83.74 €

You save 6.50 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Grounded in the Garden: An Artist's Guide to Creating a Beautiful Garden in Harmony with Nature
25.07 € -27 %
Buy
Jak vycvičit draka Mega aktivity
5.55 € -20 %
Buy
CONTOS DO SER E NÇO SER
19.40 €
Buy
Kochanek przebudzony. Bractwo Czarnego Sztyletu. Tom 3
12.43 € -16 %
Buy
Gender Pay Gap
28.61 € -11 %
Buy
Progress in Behavioral Social Work
191.71 €
Buy
British Warship Recognition: The Perkins Identification Albums
82.90 € -9 %
Buy
KIT CARSON, THE SCOUT: OR, THE KNIGHT OF
17.48 € -2 %
Buy
Simulation du broutement en fraisage par les lobes de stabilite
54.29 € -14 %
Buy
Michigan Freshwater Fishes: A Waterproof Folding Guide to Native and Introduced Species
9.70 €
Buy
Your Guide to Financial Freedom
19.20 € -7 %
Buy
Failure of Political Islam
31.03 € -2 %
Buy
Artificial Intelligence in Brain Disorders
172.39 € -9 %
Pre-order
(CAT).QUADERNS MATEMATIQUES 4. RESTES PORTANT-NE (CALCUL)
7.37 €
Buy
Ravensburger Puzzle 12000801 - Der Wasserfall im Red Canyon - 1500 Teile Puzzle für Erwachsene ab 14 Jahren
26.28 € -9 %
Buy
Bayesian Theory and Methods with Applications
50.55 € -9 %
Buy
Counterpoint
24.06 €
Buy
A Digest of Laws Relating to the City of Philadelphia, from Its Territorial Extension, by the Act of Assembly, Approved February 2D, 1854, Until the
24.97 € -24 %
Buy
New Bridges 1re 2011 - Livre du professeur
24.26 €
Buy
Metaphernforschung in interdisziplinären und interdiskursiven Perspektiven
140.34 €
Buy
Emerging Non-destructive Technologies for Food Quality Analysis
185.03 € -7 %
Buy
Alex Da Corte: Mr. Remember
32.04 € -24 %
Buy
Pierwsze spotkanie / Kinra Girls
6.76 € -21 %
Buy
The Virgin & the Strip Mall: and other essays on Amsterdam, the Mohawk Valley and upstate New York
9.80 € -6 %
Buy
Multi-Regime-Regulierung
53.08 € -4 %
Buy
Catalogue de Livres Anciens Et Modernes Dans Tous Les Genres, Impressions Gothiques
14.75 € -2 %
Buy
Living with the European Union
109.19 €
Buy
Italy, During The Consulate And Empire Of Napoleon Buonaparte (1829)
34.57 € -2 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Formal Methods and Software Engineering

Book details
Synopsis
Trending among others

You get 187 loyalty points

Book synopsis

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

Book details

Book category Books in English Computing & information technology Computer science Mathematical theory of computation

77.24 €

Full title: Formal Methods and Software Engineering
Subtitle: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings
Author: Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu
Language: English
Binding: Paperback
Number of pages: 397
EAN: 9789819606160
ID: 46820668
Publisher: Springer, Berlin
Weight: 589 g
Dimensions: 235 × 155 mm
Published: 2025