| 書目名稱 | Theoretical Aspects of Computing – ICTAC 2016 |
| 副標題 | 13th International C |
| 編輯 | Augusto Sampaio,Farn Wang |
| 視頻video | http://file.papertrans.cn/923/922829/922829.mp4 |
| 概述 | Includes supplementary material: |
| 叢書名稱 | Lecture Notes in Computer Science |
| 圖書封面 |  |
| 描述 | .This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, held in Taipei, Taiwan, in October 2016..The 23 revised full papers presented together with two short papers, two invited papers and one abstract of an invited paper were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on program verification; design, synthesis and testing; calculi; specifications; composition and transformation; automata; temporal logics; tool and short papers.. |
| 出版日期 | Conference proceedings 2016 |
| 關鍵詞 | computational complexity; formal languages; modal logic; semantics and reasoning; verification and testi |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-319-46750-4 |
| isbn_softcover | 978-3-319-46749-8 |
| isbn_ebook | 978-3-319-46750-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer International Publishing AG 2016 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網安備110108008328)
GMT+8, 2025-10-8 20:10
發(fā)表于 2025-3-21 18:45:27
