شماره ركورد
60367
عنوان
Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 Prague, Czech Republic, April 6–11, 2019, Proceedings
اطلاعات نشر
Switzerland Springer
سال نشر
2019
تعداد صفحه
820
شابك
9783030171841
زبان
انگليسي
موضوع
Safe Deferred , Semi-automated Reasoning , Composing Bidirectional
فايل ديجيتال
8174028
Link To Document