شماره ركورد

27380

شماره مدرك

4393418

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

Bernd Fischer

عنوان

Model Checking Software

اطلاعات نشر

Springer

سال نشر

2015

شابك

9783319234038;9783319234045