Temporal Logics in Computer Science
Finite-State Systems
Cambridge Tracts in Theoretical Computer Science
Demri, Stéphane
Goranko, Valentin
Lange, Martin
- 出版社：Cambridge University Press
- 出版年月：2016年 10月
- ISBN：9781107028364
- 装丁：HRD
-
装丁について
- 言語：ENG
- 巻数・ページ数：752 p.
- 分類： コンピュータ一般
- DDC分類：005.115