شماره ركورد

35491

شماره مدرك

4387703

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

Neeraj Kumar Singh

عنوان

Using Event-B for Critical Device Software Systems

اطلاعات نشر

Springer

سال نشر

2013

شابك

9781447157908;9781447152606;9781447152590