Relational and Algebraic Methods in Computer Science
17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
-
- 39٫99 US$
-
- 39٫99 US$
وصف الناشر
This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018.
The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the following topics: Theoretical foundations; reasoning about computations and programs; and applications and tools.
النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠١٨
٢٢ أكتوبر
اللغة
EN
الإنجليزية
عدد الصفحات
٤٠١
الناشر
Springer International Publishing
البائع
Springer Nature B.V.
الحجم
٢٨٫٥
م.ب.
Relational and Algebraic Methods in Computer Science
٢٠١٧
Coalgebraic Methods in Computer Science
٢٠٢٠
Coalgebraic Methods in Computer Science
٢٠١٦
Relations and Kleene Algebra in Computer Science
٢٠٠٩
Logic, Language, Information, and Computation
٢٠١٧
Logic, Language, Information, and Computation
٢٠١٦