شماره ركورد
60289
عنوان
Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Thessaloniki, Greece, April 14–20, 2018 Proceedings
اطلاعات نشر
Switzerland Springer
سال نشر
2018
تعداد صفحه
1056
شابك
9783319898841
زبان
انگليسي
موضوع
Programming Languages , System , Relational Reasoning , Behavioural Equivalence
فايل ديجيتال
8173039
Link To Document