Поиск :
Личный кабинет :
Электронный каталог: Семенов, В.А. - Формальная спецификация и верификация требований в архитектуре и строительстве на основе языка мо...
Семенов, В.А. - Формальная спецификация и верификация требований в архитектуре и строительстве на основе языка мо...
Статья
Автор: Семенов, В.А.
Программирование: Формальная спецификация и верификация требований в архитектуре и строительстве на основе языка мо...
б.г.
ISBN отсутствует
Автор: Семенов, В.А.
Программирование: Формальная спецификация и верификация требований в архитектуре и строительстве на основе языка мо...
б.г.
ISBN отсутствует
На полку
Статья
Семенов, В.А.
Формальная спецификация и верификация требований в архитектуре и строительстве на основе языка моделирования EXPRESS / В.А.Семенов, [и др.] // Программирование. – 2024. – № 5. – С. 54-74. – URL: https://doi.org/10.31857/S0132347424050052. – Библиогр.: 50.
Спец.(статьи,препринты) = Ц 840 б1 - Языки программирования и языковые процессоры (компиляторы, интерпретаторы)
Семенов, В.А.
Формальная спецификация и верификация требований в архитектуре и строительстве на основе языка моделирования EXPRESS / В.А.Семенов, [и др.] // Программирование. – 2024. – № 5. – С. 54-74. – URL: https://doi.org/10.31857/S0132347424050052. – Библиогр.: 50.
Спец.(статьи,препринты) = Ц 840 б1 - Языки программирования и языковые процессоры (компиляторы, интерпретаторы)
