- Tytuł:
- Wprowadzenie do logiki temporalnej
- Autorzy:
- Klimek, Radosław
- Wydawca:
- Kraków : AGH. Uczelniane Wydawnictwa Naukowo-Dydaktyczne
- Rok wydania:
- 1999
Książka
Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.