Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers ... Computer and Information Science, Band 596)

von: Cyrille Artho · Peter Csaba Ölveczky Taschenbuch Details (Deutschland) (siehe auch: Kindle Ausgabe · Kindle Ausgabe) Details (USA) (siehe auch: eBook (Kindle) · eBook (Kindle)) Details (Großbritannien) (siehe auch: eBook (Kindle) · eBook (Kindle)) Details (Kanada) (siehe auch: eBook (Kindle) · eBook (Kindle)) ISBN: 978-3-319-29509-1 ISBN-10: 3-319-29509-8 Springer · 2016