Theoretical Aspects of Computing – ICTAC 2022

19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings

Corina S Păsăreanu editor Zhiming Liu editor Helmut Seidl editor

Format:Paperback

Publisher:Springer International Publishing AG

Published:3rd Oct '22

Currently unavailable, and unfortunately no date known when it will be back

Theoretical Aspects of Computing – ICTAC 2022 cover

This book constitutes the proceedings of the 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022, which took place in Tbilisi, Georgia, in September 2022.

The 23 papers presented in this volume together with 2 short papers were carefully reviewed and selected from 52 submissions. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.

ISBN: 9783031177149

Dimensions: unknown

Weight: unknown

482 pages

1st ed. 2022