عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شماره کتابشناسی ملی
شماره
ebl202212853
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
eng
عنوان و نام پديدآور
عنوان اصلي
Leveraging applications of formal methods, verification and validation :
ساير اطلاعات عنواني
:30, 2020, Proceedings.-Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20
وضعیت نشر و پخش و غیره
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
, 2020.
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
e
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Formal methods (Computer science) ; Congresses. ;
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
;-Steffen, Tiziana, ; 1964-Margaria
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
