Widok standardowy Widok MARC

International Symposium on Optimal Algorithms (2 ; 1989 ; Warna). (Hasło imprezy/wydarzenia)

Forma preferowana: International Symposium on Optimal Algorithms (2 ; 1989 ; Warna).

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