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 والمزيد
    • ‏69٫99 US$
    • ‏69٫99 US$

وصف الناشر

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.

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠٢٣
٢٢ نوفمبر
اللغة
EN
الإنجليزية
عدد الصفحات
٤٥١
الناشر
Springer Nature Switzerland
البائع
Springer Nature B.V.
الحجم
٤٦٫٣
‫م.ب.‬
Fundamentals of Software Engineering Fundamentals of Software Engineering
٢٠٢٣
Quantitative Evaluation of Systems Quantitative Evaluation of Systems
٢٠٢٢
At The Pinnacle At The Pinnacle
٢٠١٨
Integrated Formal Methods Integrated Formal Methods
٢٠١٦
Theory and Practice of Formal Methods Theory and Practice of Formal Methods
٢٠١٦