结构程序验证

结构程序验证
_
constructive program verification

Наука. 2013.

Игры ⚽ Поможем написать реферат

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»