شماره ركورد

9143

شماره مدرك

3729574

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

Abrial

عنوان

Modeling in Event-B

اطلاعات نشر

Cambridge University Press

سال نشر

2013

شابك

9781139195881