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 và các tác giả khác
    • 69,99 US$
    • 69,99 US$

Lời Giới Thiệu Của Nhà Xuất Bản

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.

THỂ LOẠI
Máy Vi Tính & Internet
ĐÃ PHÁT HÀNH
2023
22 tháng 11
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
451
Trang
NHÀ XUẤT BẢN
Springer Nature Switzerland
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
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