结构程序验证

结构程序验证
_
constructive program verification

Наука. 2013.

Игры ⚽ Нужен реферат?

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

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