Livres — temporal logic

RU
Mathématiques discrètes. Systèmes et langages formels-logiques

Mathématiques discrètes. Systèmes et langages formels-logiques

A

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

Algorithmes et théorie