この商品を友人に教える:
Time & Logic: A Computational Approach - Routledge Revivals Scott A. Chamberlin 第1 版
Time & Logic: A Computational Approach - Routledge Revivals
Scott A. Chamberlin
Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications.
332 pages
| メディア | 書籍 Hardcover Book (ハードカバー付きの本) |
| リリース済み | 2020年3月4日 |
| ISBN13 | 9780367336530 |
| 出版社 | Taylor & Francis Ltd |
| ページ数 | 332 |
| 寸法 | 150 × 220 × 20 mm · 720 g |
| 言語 | 英語 |
| 編集者 | Bolc, Leonard |
| 編集者 | Szalas, Andrzej |
