Temporal Logics in Computer Science - Classical Theory
by Stéphane Demri, Valentin Goranko, Martin Lange
Computer science
Writing a summary for young readers…
For young readers
Book data: Open Library
by Stéphane Demri, Valentin Goranko, Martin Lange
Book data: Open Library