Formal Techniques in Real-Time and Fault-Tolerant Systems The Springer International Series in Engineering and Computer Science, nr. 221 Editat de Jan Vytopil 30 apr 1993 Hardback Preț: 937.60 lei 1172.00 lei 6-8 săpt. -20%
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 Lecture Notes in Computer Science, nr. 863 Editat de Hans Langmaack et al. 7 sep 1994 Paperback Preț: 635.46 lei 794.33 lei 6-8 săpt. -20%