| 书目名称 | Theoretical Aspects of Computing – ICTAC 2016 |
| 副标题 | 13th International C |
| 编辑 | Augusto Sampaio,Farn Wang |
| 视频video | |
| 概述 | 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 |
发表于 2025-3-21 18:45:27
