Tác giả: Jiri Barnat

Ủng hộ

1 Ebooks bởi Jiri Barnat

Jiri Barnat & Falk Howar: 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 p …
EPUB
Anh
DRM
€57.76