Werner Damm - 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)

Brand : Springer, Binding : Taschenbuch, Edition : 2002, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 472, publicationDate : 2008-06-13, authors : Werner Damm, Ernst-Rüdiger Olderog, ISBN : 3540441654 ...