Widok standardowy
Widok MARC
International Symposium on Optimal Algorithms (2 ; 1989 ; Warna). (Hasło imprezy/wydarzenia)
Kp. Temporal logic in specification / B. Banieqbal, H. Barringer, A. Pnueli (eds.). - Berlin, 1989. S. tyt. i przedm. (international symposium, Varna, Bulgaria, May 29-June 2 1989, International Symposium on Optimal Algorithms)
LCC online