Code: 46820668

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer, Berlin
SKU: 46820668
Price: 82.89 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

82.89 €

In stock at our supplier
Shipping in 10 - 18 days

Add to wishlist

Grounded in the Garden: An Artist's Guide to Creating a Beautiful Garden in Harmony with Nature
23.30 € -29 %
Buy
Jak vycvičit draka Mega aktivity
5.56 € -20 %
Buy
British Warship Recognition: The Perkins Identification Albums
82.59 € -9 %
Buy
Kochanek przebudzony. Bractwo Czarnego Sztyletu. Tom 3
12.46 € -16 %
Buy
CONTOS DO SER E NÇO SER
19.65 €
Buy
Progress in Behavioral Social Work
184.54 €
Buy
Simulation du broutement en fraisage par les lobes de stabilite
61.91 € -4 %
Buy
Artificial Intelligence in Brain Disorders
180.69 € -9 %
Pre-order
(CAT).QUADERNS MATEMATIQUES 4. RESTES PORTANT-NE (CALCUL)
7.49 €
Buy
Bayesian Theory and Methods with Applications
55.93 €
Buy
New Bridges 1re 2011 - Livre du professeur
24.41 €
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
25.02 € -24 %
Buy
Failure of Political Islam
31.10 € -2 %
Buy
Emerging Non-destructive Technologies for Food Quality Analysis
200.15 €
Buy
The Virgin & the Strip Mall: and other essays on Amsterdam, the Mohawk Valley and upstate New York
9.82 € -6 %
Buy
Pierwsze spotkanie / Kinra Girls
6.88 € -20 %
Buy
Multi-Regime-Regulierung
60.80 €
Buy
Metaphernforschung in interdisziplinären und interdiskursiven Perspektiven
140.66 €
Buy
Your Guide to Financial Freedom
19.25 € -7 %
Buy
Catalogue de Livres Anciens Et Modernes Dans Tous Les Genres, Impressions Gothiques
14.79 €
Buy
Living with the European Union
109.54 €
Buy
Italy, During The Consulate And Empire Of Napoleon Buonaparte (1829)
34.65 € -2 %
Buy
SARA
27.15 €
Buy
Alex Da Corte: Mr. Remember
32.12 € -24 %
Buy
COMPIEGNE DATES, FACTS AND FIGURES
5.77 €
Buy
KIT CARSON, THE SCOUT: OR, THE KNIGHT OF
17.52 € -2 %
Buy
Ratchet Wives Club: Atlanta Edition
9.82 € -6 %
Buy
Counterpoint
26.54 €
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 200 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

82.89 €

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