Salta al contingut principal

Temporal Logics in Computer Science

Temporal Logics in Computer Science

Autor: Demri/Goranko/Lange
Matèria: Computer Science; Philosophy; Logic; Programming Languages and Applied Logic
Editor: Cambridge University Press
Data publicació: 2016
Identificador: 9781139236119
Col·lecció: Philosophy and Religion; Computer Science and Information Technology
Accés