Bengt Jonsson - 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)

Brand : Springer, Binding : Taschenbuch, Edition : 1996, Label : Springer, Publisher : Springer, NumberOfItems : 1, PackageQuantity : 5, medium : Taschenbuch, numberOfPages : 500, publicationDate : 2008-06-13, authors : Bengt Jonsson, Joachim Parrow, ISBN : 3540616489 ...