Cyrille Artho - Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected ... Computer and Information Science, Band 1008)

Brand : Springer, Binding : Taschenbuch, Edition : 1st ed. 2019, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 192, publicationDate : 2019-02-02, releaseDate : 2019-02-02, publishers : Cyrille Artho, Ölveczky, Peter Csaba, ISBN : 303012987X ...