شماره ركورد

46023

شماره مدرك

4379094

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

Dang Hung

عنوان

Automated Technology for Verification and Analysis

اطلاعات نشر

Springer

سال نشر

2013

شابك

9783319024448;9783319024431