Book serie: / Книги серии: Lecture Notes in Computer Science 863 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 863

book Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems — ProCoS Lübeck, Germany, September 19–23, 1994 Proceedings

Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems — ProCoS Lübeck, Germany, September 19–23, 1994 Proceedings

djvu

Author: Limor Fix Fred B. Schneider (auth.) Hans Langmaack Willem-Paul de Roever Jan Vytopil (eds.)
Language: English
Year: 1994

00

27.01.2024

1

0