|
-
Ключові слова:
математика, математика, mathematics, mathematique
-
Анотація:
В книге описываются различные подходы к установлению свойств программ и докозательству теорем о программах.
-
Теми документа
-
ББК науковий // Математичні методи дослідження операцій. Оптимальне програмування
|
