Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren |
---|---|---|---|---|
Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, ... Notes in Computer Science, Band 9984) | Taschenbuch | 978-3-319-47676-6 | 2016 | Deepak Kapur · Naijun Zhan |
Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings | Paperback | 978-3-319-47678-0 | 2016 | Deepak Kapur · Naijun Zhan |
Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings | Taschenbuch | 978-3-319-44877-0 | 2016 | Nicolas Markey |
Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings | Paperback | 978-3-319-44879-4 | 2016 | " |
M. F. · Maarten Fraanje · Maarten Franssen · Martin Francesc · Martin Francis · Martin Frank · Martin Franke · Martin Franklin · Martin Fransman · Martin Franz · Martin Franzbach · Martin Franzen · Martin French · Martin Frenz · Martin Frenzel · Martin Fürnkranz · Martina Frank · Martina Franke · Martina Franzen · Martine Franck · Martine François