شماره ركورد

26008

شماره مدرك

4384473

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

Yamine Ait Ameur

عنوان

Abstract State Machines, Alloy, B, TLA, VDM, and Z

اطلاعات نشر

Springer

سال نشر

2014

شابك

9783662436516;9783662436523