РАЗДЕЛ:
Computer Scienc.../
Программное обеспечение/
Математические основы инженерии программного обес.../
Начало
Выше
A Mathematical Formalism for Specifying Design Patterns
Перейти
Foundations of Software Engineering at Microsoft Research
Перейти
Mathematical Foundations of Software Engineering: a Roadmap
Перейти
Фиадейро Х., Лопес А., Вермелингер М. Математическая семантика компонентного проектирования
Перейти
Yuri Gurevich
Перейти
Тыугу Э. Логический язык спецификации реконфигурируемых вычислительных систем
Перейти
РАЗДЕЛ:
Computer Scienc.../
Программное обеспечение/
Математические основы инженерии программного обес.../
