Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised ... Computer and Information Science, Band 419)

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)) Details (Kanada) (siehe auch: eBook (Kindle)) ISBN: 978-3-319-05415-5 ISBN-10: 3-319-05415-5 Springer · 2014