Falk Howar - Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings (Lecture Notes in Computer Science, Band 11119)

Binding : Taschenbuch, Edition : 1st ed. 2018, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 308, publicationDate : 2018-08-30, releaseDate : 2018-08-30, publishers : Falk Howar, Jiří Barnat, ISBN : 3030002438 ...