Formal Methods for Industrial Critical Systems
29th International Conference, FMICS 2024, Milan, Italy, September 9?11, 2024, Proceedings
Sorozatcím: Lecture Notes in Computer Science; 14952;
-
8% KEDVEZMÉNY?
- A kedvezmény csak az 'Értesítés a kedvenc témákról' hírlevelünk címzettjeinek rendeléseire érvényes.
- Kiadói listaár EUR 62.05
-
26 321 Ft (25 068 Ft + 5% áfa)
Az ár azért becsült, mert a rendelés pillanatában nem lehet pontosan tudni, hogy a beérkezéskor milyen lesz a forint árfolyama az adott termék eredeti devizájához képest. Ha a forint romlana, kissé többet, ha javulna, kissé kevesebbet kell majd fizetnie.
- Kedvezmény(ek) 8% (cc. 2 106 Ft off)
- Discounted price 24 216 Ft (23 063 Ft + 5% áfa)
26 321 Ft
Beszerezhetőség
Becsült beszerzési idő: A Prosperónál jelenleg nincsen raktáron, de a kiadónál igen. Beszerzés kb. 3-5 hét..
A Prosperónál jelenleg nincsen raktáron.
Why don't you give exact delivery time?
A beszerzés időigényét az eddigi tapasztalatokra alapozva adjuk meg. Azért becsült, mert a terméket külföldről hozzuk be, így a kiadó kiszolgálásának pillanatnyi gyorsaságától is függ. A megadottnál gyorsabb és lassabb szállítás is elképzelhető, de mindent megteszünk, hogy Ön a lehető leghamarabb jusson hozzá a termékhez.
A termék adatai:
- Kiadás sorszáma 2024
- Kiadó Springer
- Megjelenés dátuma 2024. augusztus 21.
- Kötetek száma 1 pieces, Book
- ISBN 9783031681493
- Kötéstípus Puhakötés
- Terjedelem260 oldal
- Méret 235x155 mm
- Nyelv angol
- Illusztrációk 23 Illustrations, black & white; 70 Illustrations, color 639
Kategóriák
Hosszú leírás:
This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9?13, 2024.
The 14 full papers included in this book were carefully reviewed and selected from 22 submissions. These papers have been organized in the following topical sections: Real-Time Systems/ Robotics; Semantics and Verification; Case Studies; Neural Networks.
Több
