Kód: 46820668

Formal Methods and Software Engineering

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

Autor 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 ... celý popis

Jazyk: Angličtina
Vazba: Brožovaná
Počet stran: 397
Nakladatelství: Springer, Berlin, 2025
Více informací o knize

1770 Kč

Skladem u dodavatele
Odesíláme za 5-8 dnů

Přidat mezi přání

Mohlo by se vám také líbit

Grounded in the Garden: An Artist's Guide to Creating a Beautiful Garden in Harmony with Nature
522 Kč
Koupit
Michigan Freshwater Fishes: A Waterproof Folding Guide to Native and Introduced Species
200 Kč
Koupit
Kochanek przebudzony. Bractwo Czarnego Sztyletu. Tom 3
302 Kč
Koupit
CONTOS DO SER E NÇO SER
475 Kč
Koupit
Ravensburger Puzzle 12000801 - Der Wasserfall im Red Canyon - 1500 Teile Puzzle für Erwachsene ab 14 Jahren
601 Kč
Koupit
Bayesian Theory and Methods with Applications
1155 Kč
Koupit
(CAT).QUADERNS MATEMATIQUES 4. RESTES PORTANT-NE (CALCUL)
180 Kč
Koupit
Pierwsze spotkanie / Kinra Girls
166 Kč
Koupit
Metaphernforschung in interdisziplinären und interdiskursiven Perspektiven
3398 Kč
Koupit
Emerging Non-destructive Technologies for Food Quality Analysis
4238 Kč
Koupit
Catalogue de Livres Anciens Et Modernes Dans Tous Les Genres, Impressions Gothiques
358 Kč
Koupit
Living with the European Union
2646 Kč
Koupit
SARA
657 Kč
Koupit
Italy, During The Consulate And Empire Of Napoleon Buonaparte (1829)
837 Kč
Koupit

Darujte tuto knihu ještě dnes

Objednejte knihu a zvolte Zaslat jako dárek.
Obratem obdržíte darovací poukaz na knihu, který můžete ihned předat obdarovanému.
Knihu zašleme na adresu obdarovaného, o nic se nestaráte.

Více informací

Více informací o knize Formal Methods and Software Engineering

Parametry knihy
Anotace
Oblíbené z jiného soudku

Nákupem získáte 177 bodů

Anotace knihy

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

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Mathematical theory of computation

1770 Kč

Plný název: Formal Methods and Software Engineering
Podnázev: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings
Autor: Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu
Jazyk: Angličtina
Vazba: Brožovaná
Počet stran: 397
EAN: 9789819606160
ID: 46820668
Nakladatelství: Springer, Berlin
Hmotnost: 589 g
Rozměry: 235 × 155 mm
Rok vydání: 2025