000 00646nam a22001577a 4500
999 _c314362
_d314362
040 _bukr
041 0 _aeng
100 1 _aBilyk, Vladyslav
245 1 0 _aCompile time semantic analysis and verification of conceptual models in application to transactional business information systems
_cVladyslav Bilyk ; supervisor : Oles Hodych
260 _aLviv
_b[s.n.]
_c2022
300 _avii, 35 арк.
_bіл.
_c30 см
502 _aБакалаврська робота
504 _aМістить бібліографію
710 2 _aUkrainian Catholic University
_bDepartment of computer science
_bFaculty of applied sciences
942 _2lcc
_cBOOK