Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings (Lecture Notes in Computer Science (1135), Band 1135)
von:
Bengt Jonsson
·
Joachim Parrow
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-61648-1
ISBN-10: 3-540-61648-9
Springer
· 2008