Cărți de Jan Vytopil

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

Preț: 969^.90 lei 1212^.37 lei

43-57 zile

-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

Preț: 657^.31 lei 821^.64 lei

43-57 zile

-20%