Litteraturlista
Logik, spel och automata
Logic, Games and Automata
Kurs
LOG290
Avancerad nivå
7,5 högskolepoäng (hp)
Gå till
Logik, spel och automata
Om litteraturlistan
Giltig fr.o.m
Hösttermin 2025 (2025-09-01)
Beslutsdatum
2025-05-31
GU 2025/1965
Temporal logics in computer science: finite-state systems Stéphane P. Demri 1967- Valentin Goranko; Martin Lange; Cambridge University Press Cambridge, United Kingdom : Cambridge University Press; 2016