شماره ركورد

57164

شماره مدرك

4393480

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

Bernd Finkbeiner

عنوان

Automated Technology for Verification and Analysis

اطلاعات نشر

Springer

سال نشر

2015

شابك

9783319249520;9783319249537