شماره ركورد

40227

شماره مدرك

4379706

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

Armin Biere

عنوان

Hardware and Software: Verification and Testing

اطلاعات نشر

Springer

سال نشر

2013

شابك

9783642396113;9783642396106