Korbicz, Józef - red. ; Uciński, Dariusz - red.
Zielona Góra: Uniwersytet Zielonogórski
AMCS, volume 2, number 2 (1992) ; kliknij tutaj, żeby przejść
Biblioteka Uniwersytetu Zielonogórskiego
2021-09-01
2020-07-06
44
https://zbc.uz.zgora.pl/publication/63787
Nazwa wydania | Data |
---|---|
Temporal logic as a tool for program correctness analysis | 2021-09-01 |
Klimek, Radosław Korbicz, Józef - red. Uciński, Dariusz - red.
Korbicz, Józef - red.
Korbicz, Józef - red. Uciński, Dariusz - red.
Korbicz, Józef - red. Uciński, Dariusz - red.
Korbicz, Józef - red. Uciński, Dariusz - red.
Korbicz, Józef - red. Uciński, Dariusz - red.
Korbicz, Józef - red. Uciński, Dariusz - red.
Korbicz, Józef - red. Uciński, Dariusz - red.