Livros — temporal logic

RU
Matemática Discreta. Sistemas e Linguagens Formais-Lógicos

Matemática Discreta. Sistemas e Linguagens Formais-Lógicos

A

С. М. Авдошин, А. А. Набебин

Algoritmos e teoria