Save today: Get 40% off titles in Popular Science!

Theoretical Computer Science and General Issues
cover

Theoretical Aspects of Computing – ICTAC 2020

17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings

Editors: Pun, Violet Ka I, Stolz, Volker, Simao, Adenilso (Eds.)

Buy this book

eBook $59.99
price for USA in USD
  • ISBN 978-3-030-64276-1
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $79.99
price for USA in USD
About this book

This book constitutes the proceedings of the 17th  International Colloquium on Theoretical Aspects of Computing, ICTAC 2020, which took place during November 30-December 4, 2020. The conference was originally planned to take place in Macau, China, but changed to a virtual only format due to the COVID-19 pandemic. 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.

Table of contents (16 chapters)

Table of contents (16 chapters)
  • A Flight Rule Checker for the LADEE Lunar Spacecraft

    Pages 3-20

    Kurklu, Elif (et al.)

  • Proof-Theoretic Conservative Extension of HOL with Ad-hoc Overloading

    Pages 23-42

    Gengelbach, Arve (et al.)

  • A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages

    Pages 43-63

    Vaandrager, Frits (et al.)

  • CiMPG+F: A Proof Generator and Fixer-Upper for CafeOBJ Specifications

    Pages 64-82

    Riesco, Adrián (et al.)

  • Statistical Analysis of Non-deterministic Fork-Join Processes

    Pages 83-102

    Genitrini, Antoine (et al.)

Buy this book

eBook $59.99
price for USA in USD
  • ISBN 978-3-030-64276-1
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $79.99
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

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
Theoretical Computer Science and General Issues
Series Volume
12545
Copyright
2020
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-64276-1
DOI
10.1007/978-3-030-64276-1
Softcover ISBN
978-3-030-64275-4
Edition Number
1
Number of Pages
XVI, 317
Number of Illustrations
43 b/w illustrations, 35 illustrations in colour
Topics