شماره ركورد
60766
عنوان
Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020 Dublin, Ireland, April 25–30, 2020, Proceedings
اطلاعات نشر
Switzerland Springer
سال نشر
2020
تعداد صفحه
758
شابك
9783030449148
زبان
انگليسي
موضوع
Open Logical Relations , Parallel Algorithms , Synthesis of Programs
فايل ديجيتال
8192712
Link To Document