Electronic Documents Search
Documents found: 1
-
Program and Code // Technology and Language. – 2022. – Т. 3, № 2. — С. 70-80 New arrival!
Creators Hahnle R. Imprint 2022 Collection Общая коллекция Subjects Вычислительная техника; Программирование ЭВМ. Компьютерные программы. Программотехника; computer programs; program codes; formal verification; mathematical semantics; software reliability; software quality; компьютерные программы; программные коды; формальная верификация; математическая семантика; достоверность программного обеспечения; качество программного обеспечения UDC 004.41/.42 LBC 32.973-018 Document type Article, report File type PDF Language English DOI 10.48417/technolang.2022.02.06 Rights Свободный доступ из сети Интернет (чтение, печать, копирование) pdf, 1.2 Mb
