Theoretical Aspects of Computing – ICTAC 2017
14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
-
- 39٫99 US$
-
- 39٫99 US$
وصف الناشر
This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017.
The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency; automata; SMT solvers and algorithms; and security.
النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠١٧
٢٨ سبتمبر
اللغة
EN
الإنجليزية
عدد الصفحات
٣٢٥
الناشر
Springer International Publishing
البائع
Springer Nature B.V.
الحجم
٩٫١
م.ب.
Theoretical Aspects of Computing - ICTAC 2015
٢٠١٥
Theoretical Aspects of Computing – ICTAC 2016
٢٠١٦
Automated Technology for Verification and Analysis
٢٠١٥
Semantics, Logics, and Calculi
٢٠١٦
Logic for Programming, Artificial Intelligence, and Reasoning
٢٠١٥
Verification, Model Checking, and Abstract Interpretation
٢٠١٥