عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
ebl202214712
eng
critical systems :-Formal techniques for safety
:7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised selected papers /
Springer,
, 2020.
e
Formal methods (Computer science) ; Congresses. ;
;-Hasan, Osman, ; 1975
old catalog
