Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, ... Notes in Computer Science (2469), Band 2469)
von:
Werner Damm
·
Ernst-Rüdiger Olderog
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-44165-6
ISBN-10: 3-540-44165-4
Springer
· 2008
