Pastāsti draugiem par šo preci:
Formal Methods for Industrial Critical Systems 1st ed. 2018 edition
Formal Methods for Industrial Critical Systems
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.
| Mediji | Grāmatas Book |
| Izlaists | 2018. gada 30. augusts |
| ISBN13 | 9783030002435 |
| Izdevēji | Springer Nature Switzerland AG |
| Lapas | 291 |
| Izmēri | 150 × 220 × 20 mm · 470 g |
| Valoda | Vācu |
| Redaktors | Barnat, Jiri |
| Redaktors | Howar, Falk |