"Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings: ... 1992 2nd " - читать интересную книгу автора (Jan Vytopil)