شماره ركورد

30221

شماره مدرك

4379885

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

Charles Pecheur

عنوان

Formal Methods for Industrial Critical Systems

اطلاعات نشر

Springer

سال نشر

2013

شابك

9783642410093;9783642410109