Releases med W P De Roever

Cover for W P De Roever · Formal Techniques in Real-time and Fault-tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - Procos, Lubeck, Germany, September 19 - 23, 1994, Proceedings (International Symposium Organized J (Pocketbok) (1994)
Pocketbok
Formal Techniques in Real-time a...
W P De Roever