Theoretical Aspects of Computing – ICTAC 2023 Theoretical Aspects of Computing – ICTAC 2023

Theoretical Aspects of Computing – ICTAC 2023

20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings

Erika Ábrahám and Others
    • $69.99
    • $69.99

Publisher Description

This book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, which took place in Lima, Peru, during December 4–8, 2023.

The 20 full papers presented in this volume together with 3 invited papers and 1 tool paper were carefully reviewed and selected from 40 submissions.  

They were organised in the topical sections as follows: Bring Together Practitioners; Researchers from Academia; Industry; Government to Present Research Results and Exchange Experience and Ideas.

GENRE
Computers & Internet
RELEASED
2023
November 22
LANGUAGE
EN
English
LENGTH
451
Pages
PUBLISHER
Springer Nature Switzerland
SELLER
Springer Nature B.V.
SIZE
46.3
MB
Fundamentals of Software Engineering Fundamentals of Software Engineering
2023
Quantitative Evaluation of Systems Quantitative Evaluation of Systems
2022
At The Pinnacle At The Pinnacle
2018
Integrated Formal Methods Integrated Formal Methods
2016
Theory and Practice of Formal Methods Theory and Practice of Formal Methods
2016