شماره ركورد

28851

شماره مدرك

4383989

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

Borzoo Bonakdarpour

عنوان

Runtime Verification

اطلاعات نشر

Springer

سال نشر

2014

شابك

9783319111643;9783319111636