Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings (Lecture Notes in Computer Science, Band 9268)

von: Sriram Sankaranarayanan · Enrico Vicario Taschenbuch Details (Deutschland) Details (Italien) (siehe auch: Copertina flessibile) Details (Spanien - España) (siehe auch: Tapa blanda) ISBN-13: 978-3-319-22974-4 ISBN-10: 3-319-22974-5 Springer · 2015