Jiří Barnat – författare

Visar alla böcker från författaren Jiří Barnat. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Formal Methods for Industrial Critical Systems

   23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

   Av Falk Howar, Jiří Barnat

   Häftad, 2018

   569 kr

   Lägg i varukorg

   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. The book …

2. 

   Formal Methods for Industrial Critical Systems

   23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

   Av Jiri Barnat, Falk Howar

   E-bok, 2018

   739 kr

   Lägg i varukorg

   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. The book …