شماره ركورد

47155

شماره مدرك

4383953

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

Axel Legay

عنوان

Formal Modeling and Analysis of Timed Systems

اطلاعات نشر

Springer

سال نشر

2014

شابك

9783319105116;9783319105123