Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer, Berlin
SKU: 9789819606160
Price: 28903 HUF
Availability: InStock

25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

Szerző: Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

28 903 Ft

This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Form...

Információk a könyvről

Szerző

Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2025

oldal

397

EAN

9789819606160

Enbook ID

46820668

Kiadó

Springer, Berlin

Súly

589

Méretek

155 x 235

Teljes leírás

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

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Formal Methods and Software Engineering

25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

Információk a könyvről

Teljes leírás

Érdekelheti

Emerging Non-destructive Technologies for Food Quality Analysis

Living with the European Union

Grounded in the Garden: An Artist's Guide to Creating a Beautiful Garden in Harmony with Nature

Michigan Freshwater Fishes: A Waterproof Folding Guide to Native and Introduced Species

Alex Da Corte: Mr. Remember

COMPIEGNE DATES, FACTS AND FIGURES

Italy, During The Consulate And Empire Of Napoleon Buonaparte (1829)

KIT CARSON, THE SCOUT: OR, THE KNIGHT OF

Ratchet Wives Club: Atlanta Edition

Counterpoint

Bayesian Theory and Methods with Applications

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Metaphernforschung in interdisziplinären und interdiskursiven Perspektiven

(CAT).QUADERNS MATEMATIQUES 4. RESTES PORTANT-NE (CALCUL)

Catalogue de Livres Anciens Et Modernes Dans Tous Les Genres, Impressions Gothiques

SARA

Pierwsze spotkanie / Kinra Girls

CONTOS DO SER E NÇO SER

Ravensburger Puzzle 12000801 - Der Wasserfall im Red Canyon - 1500 Teile Puzzle für Erwachsene ab 14 Jahren

Kochanek przebudzony. Bractwo Czarnego Sztyletu. Tom 3