Related Books

Theoretical Aspects of Computing – ICTAC 2021
Language: en
Pages: 405
Authors: Antonio Cerone
Categories: Computers
Type: BOOK - Published: 2021-08-19 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 18th International Colloquium on Theoretical Aspects of Computing, ICTAC 2021, organized by the Nazarbayev Universi
Theoretical Aspects of Computing - ICTAC 2021
Language: en
Pages: 0
Authors: Antonio Cerone
Categories:
Type: BOOK - Published: 2021 - Publisher:

DOWNLOAD EBOOK

This book constitutes the proceedings of the 18th International Colloquium on Theoretical Aspects of Computing, ICTAC 2021, organized by the Nazarbayev Universi
Theoretical Aspects of Computing – ICTAC 2022
Language: en
Pages: 494
Authors: Helmut Seidl
Categories: Computers
Type: BOOK - Published: 2022-10-02 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022, which took place in Tbilisi, Georgia
Theoretical Aspects of Computing – ICTAC 2023
Language: en
Pages: 451
Authors: Erika Ábrahám
Categories: Computers
Type: BOOK - Published: 2023-12-24 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, which took place in Lima, Peru, duri
Formal Methods for an Informal World
Language: en
Pages: 180
Authors: Antonio Cerone
Categories: Computers
Type: BOOK - Published: 2023-11-04 - Publisher: Springer Nature

DOWNLOAD EBOOK

This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal Wor