شماره ركورد

24479

شماره مدرك

4379645

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

Ezio Bartocci

عنوان

Model Checking Software

اطلاعات نشر

Springer

سال نشر

2013

شابك

9783642391750;9783642391767