شماره ركورد

14825

شماره مدرك

4365345

نويسنده/تنالگان

Ezio Bartocci Rupak Majumdar (Lecture Notes in Computer Science)

عنوان

Runtime Verification - 6th International Conference, RV 2015

اطلاعات نشر

Springer

سال نشر

2015

شابك

9783319238197