Formal Methods for Industrial Critical Systems

28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings

Vše od Springer International Publishing AG
ISBN: 9783031436802

This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20–22, 2023. The 14 full papers included in this book were carefully reviewed and selected from 24 submissions.

Více o produktu


Nejprodávanější produkty v aktuálním měsíci.

1 615 Kč

1 - 2 ks
1 615 Kč
3 - 10 ks
1 599 Kč
11 a více ks
1 583 Kč

Naše cena 1 615 Kč je o 6 % nižší než
doporučená cena výrobce 1 719 Kč.

Předpoklad doručení do 27. května *

* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.

1 615 Kč 1 719 Kč

Nepřehlédněte od Springer International Publishing AG

Více o produktu

This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20–22, 2023. The 14 full papers included in this book were carefully reviewed and selected from 24 submissions.

Výrobce
Springer International Publishing AG
Jazyk
Switzerland
Rozměry
235 x 155
Rok vydání
2023
Počet stran
260
Obsah
Paperback / softback
Počet stran
260 pages, 67 Illustrations, color; 21 Illustrations, black and white; X, 260 p. 88 illus., 67 illus

Zanechte své hodnocení

Budeme rádi, když se podělíte o svou zkušenost s Formal Methods for Industrial Critical Systems a pomůžete tak ostatním zákazníkům při výběru.

Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!