شماره ركورد

24751

شماره مدرك

4383968

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

Frederic Lang

عنوان

Formal Methods for Industrial Critical Systems

اطلاعات نشر

Springer

سال نشر

2014

شابك

9783319107011;9783319107028