عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شماره کتابشناسی ملی
شماره
ebl202222524
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
eng
عنوان و نام پديدآور
عنوان اصلي
Tools and algorithms for the construction and analysis of systems :
ساير اطلاعات عنواني
:April 1, 2021, Proceedings.-27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27
وضعیت نشر و پخش و غیره
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
, 2021.
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
e
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
System design ; Congresses. ;
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
; -Groote, J. F. ; (Jan Friso), ; 1965
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
