Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers ... Computer and Information Science, Band 476)

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-17580-5 ISBN-10: 3-319-17580-7 Springer · 2015