1
منشور في 2015
جدول المحتويات: ... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...
احصل على النص الكامل
الكتروني كتاب الكتروني