دسترسی همگانی(OPAC) نام کتابخانه در اوپک

Formal Techniques for Safety-Critical Systems (2017)

نوع مدرک:	برنامه‌ها و فایلهای کامپیوتری
عنوان :	Formal Techniques for Safety-Critical Systems
ناشر:	Springer International Publishing AG
سال نشر :	2017
صفحه شمار:	166p
لینک ثابت رکورد:	../opac/index.php?lvl=record_display&id=18445
زبان مدرک :	English

شماره ثبت	شماره بازیابی	نام عام مواد	محل نگهداری	بخش	وضعیت ثبت	وضعیت امانت
فاقد شماره ثبت

Adobe Acrobat P...

8767.pdf