شماره ركورد

24757

شماره مدرك

4384057

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

Franck Cassez

عنوان

Automated Technology for Verification and Analysis

اطلاعات نشر

Springer

سال نشر

2014

شابك

9783319119359;9783319119366