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)

von: Cyrille Artho · Peter Csaba Ölveczky Taschenbuch Details (Deutschland) (siehe auch: Kindle Ausgabe) Details (USA) (siehe auch: eBook (Kindle)) Details (Großbritannien) (siehe auch: eBook (Kindle)) ISBN: 978-3-030-12987-3 ISBN-10: 3-030-12987-X Springer · Februar 2019