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ț: 989^.96 lei 1237^.46 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ț: 670^.88 lei 838^.59 lei

43-57 zile

-20%