|
Книга ID: 222519
Методы формального анализа инструментальных систем программного обеспечения ЭВМ на основе теории унификации : автореферат дис. ... доктора технических наук : 05.13.11 НИЦ интеллектуальной собственности Рязанской радиотехн. акад.
Тематика, ключевые слова:
Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей.
Сведения об издании:
Москва 1997 39 с.
Язык:
rus
|
|