شماره ركورد

57156

شماره مدرك

4393330

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

Daniel Kroening

عنوان

Computer Aided Verification

اطلاعات نشر

Springer

سال نشر

2015

شابك

9783319216676;9783319216683