Formal Methods for Industrial Critical Systems -  - Knihy - Springer Nature Switzerland AG - 9783030002435 - 30. augusta 2018
V prípade, že obal a názov nesedia, platí názov

Formal Methods for Industrial Critical Systems 1st ed. 2018 edition


Dostávať e-mail, keď bude položka k dispozícii
Do you have a profile? Prihlásiť sa
Pridať do vášho zoznamu prianí na iMusic

Not rated yet

This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018. The 9 regular papers presented in this volume were carefully reviewed and selected from 17 submissions.


291 pages, 79 Illustrations, black and white; XVI, 291 p. 79 illus.

Médium Knihy     Book
Vydané 30. augusta 2018
ISBN13 9783030002435
Vydavatelia Springer Nature Switzerland AG
Strany 291
Rozmery 150 × 220 × 20 mm   ·   470 g
Jazyk Nemčina  
Editor Barnat, Jiri
Editor Howar, Falk

Viac od toho istého vydavateľa