Вы здесь

Home » Издательства

МАКС Пресс

Связанные издания:

An Ontological Approach to a System of Requairements Patterns
Verification of Definite Interaction over Arrays with a Loop Exit in C Programms
Программные семантики, спецификации и верификация: Тезисы докладов VIII Международного научно-исследовательского семинара, Москва, июнь 2017