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
