عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
ebl20224087
eng
Descriptional complexity of formal systems :
:DCFS 2019 ;
Springer,
, 2019.
e
Formal methods (Computer science) ; Congresses. ;
Hospod??r, Michal, ;
old catalog
