JavaScript : profesionální řešení /

Autor Reynolds, Mark C.
Vydáno 1997

Temporal logics : mathematical foundations and computational aspects. Vol. 1 /

Autor Gabbay, Dov M., 1945-, Hodkinson, Ian, Reynolds, Mark C.
Vydáno 1994