شماره ركورد

51959

شماره مدرك

4383690

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

Cyrille Artho

عنوان

Formal Techniques for Safety-Critical Systems

اطلاعات نشر

Springer

سال نشر

2014

شابك

9783319054162;9783319054155