Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12545)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: ICTAC 2020.
Buy print copy
About this book
The 15 papers presented in this volume were carefully reviewed and selected from 40 submissions. The book also contains one invited talk in full paper length. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.
Similar content being viewed by others
Keywords
- architecture verification and validation
- automata theory
- embedded systems
- Field Programmable Gate Array (FPGA)
- formal languages
- formal logic
- formal methods
- graph theory
- higher order logic
- linguistics
- logic and verification
- model checking
- object-oriented programming
- Petri nets
- proof theory
- signal processing
- software architecture
- software design
- software engineering
- theorem proving
Table of contents (16 papers)
-
Keynote Paper
-
Regular Papers
-
Tool Paper
Other volumes
-
Theoretical Aspects of Computing – ICTAC 2020
Editors and Affiliations
Bibliographic Information
Book Title: Theoretical Aspects of Computing – ICTAC 2020
Book Subtitle: 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings
Editors: Violet Ka I Pun, Volker Stolz, Adenilso Simao
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-64276-1
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2020
Softcover ISBN: 978-3-030-64275-4Published: 25 November 2020
eBook ISBN: 978-3-030-64276-1Published: 24 November 2020
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVI, 317
Number of Illustrations: 43 b/w illustrations, 35 illustrations in colour
Topics: Logics and Meanings of Programs, Natural Language Processing (NLP), Control Structures and Microprogramming, Special Purpose and Application-Based Systems, Software Engineering/Programming and Operating Systems