ISBN 9783540650034 books & textbook

Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings (Lecture Notes in Computer Science, 1486)

Ravn, Anders P. Rischel, Hans

Springer /1998-09-02 Paperback / 338 Pages
isbn-10: 3540650032 / isbn-13: 9783540650034