Korbicz, Józef (1951- ) - red. ; Uciński, Dariusz - red.
Zielona Góra: Uniwersytet Zielonogórski
AMCS, volume 1, number 1 (1991) ; kliknij tutaj, żeby przejść
Biblioteka Uniwersytetu Zielonogórskiego
2024-12-03
2020-07-03
89
https://zbc.uz.zgora.pl/repozytorium/publication/63763
Nazwa wydania | Data |
---|---|
Partial and total relative correctness for analysis of real-time systems | 2024-12-03 |
Szmuc, Tomasz Bartłomiej (1948- ) Szwed, Piotr Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Beliczyński, Bartłomiej - red.
Krasoń, Ewa Kaczorek, Tadeusz - ed.
Trzaska, Zdzisław W. Kaczorek, Tadeusz - ed.
Xu, Li Saito, Osami Abe, Kenichi Kaczorek, Tadeusz - ed.
Young, K. David Yu, Xinghuo - red.
Xu, Jian-Xin Song, Yanbin Yu, Xinghuo - red.
Stotsky, Alexander A. Hedrick, J. Karl Yip, P.P. Yu, Xinghuo - red.