شماره ركورد

50897

شماره مدرك

4393432

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

Ezio Bartocci

عنوان

Runtime Verification

اطلاعات نشر

Springer

سال نشر

2015

شابك

9783319238197;9783319238203