Kód: 46820668

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer, Berlin
SKU: 46820668
Price: 77.19 EUR
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
Väzba: Brožovaná
Počet strán: 397
Nakladateľ: Springer, Berlin, 2025
Viac informácií o knihe

77.19 €

Bežne: 83.69 €

Ušetríte 6.50 €

Skladom u dodávateľa
Odosielame za 5 - 8 dní

Pridať medzi želanie

Mohlo by sa vám tiež páčiť

Grounded in the Garden: An Artist's Guide to Creating a Beautiful Garden in Harmony with Nature
23.23 € -29 %
Kúpiť
Michigan Freshwater Fishes: A Waterproof Folding Guide to Native and Introduced Species
8.68 € -10 %
Kúpiť
Kochanek przebudzony. Bractwo Czarnego Sztyletu. Tom 3
12.42 € -16 %
Kúpiť
CONTOS DO SER E NÇO SER
19.59 €
Kúpiť
Ravensburger Puzzle 12000801 - Der Wasserfall im Red Canyon - 1500 Teile Puzzle für Erwachsene ab 14 Jahren
26.26 € -9 %
Kúpiť
Bayesian Theory and Methods with Applications
50.52 € -9 %
Kúpiť
(CAT).QUADERNS MATEMATIQUES 4. RESTES PORTANT-NE (CALCUL)
7.47 €
Kúpiť
Pierwsze spotkanie / Kinra Girls
6.86 € -20 %
Kúpiť
Metaphernforschung in interdisziplinären und interdiskursiven Perspektiven
140.25 €
Kúpiť
Emerging Non-destructive Technologies for Food Quality Analysis
184.92 € -7 %
Kúpiť
Catalogue de Livres Anciens Et Modernes Dans Tous Les Genres, Impressions Gothiques
14.74 €
Kúpiť
Living with the European Union
109.23 €
Kúpiť
SARA
27.07 €
Kúpiť
Italy, During The Consulate And Empire Of Napoleon Buonaparte (1829)
34.55 € -2 %
Kúpiť

Darčekový poukaz: Radosť zaručená

Darujte poukaz v ľubovoľnej hodnote, a my sa postaráme o zvyšok.
Poukaz sa vzťahuje na všetky produkty v našej ponuke.
Elektronický poukaz si vytlačíte z e-mailu a môžete ho ihneď darovať.
Platnosť poukazu je 12 mesiacov od dátumu vystavenia.

Objednať darčekový poukaz Viac informácií

Viac informácií o knihe Formal Methods and Software Engineering

Parametre knihy
Anotácia kniha
Obľúbené z iného súdka

Nákupom získate 187 bodov

Anotácia 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

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Mathematical theory of computation

77.19 €

Celý názov: Formal Methods and Software Engineering
Podnázov: 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
Väzba: Brožovaná
Počet strán: 397
EAN: 9789819606160
ID: 46820668
Nakladateľ: Springer, Berlin
Hmotnosť: 589 g
Rozmery: 235 × 155 mm
Rok vydania: 2025