доказательное программирование

Страница: 1

Тем 1 страница 4 из 4

Тема	Ответов	Просмотров	Последнее сообщение
1 2002, Pierce B. C., Types and Programming Languages Лис [М]	0	113	2024-08-09 10:49:11 Лис [М]
2 1977, Кейслер Г, Теория моделей Лис [М]	1	240	2023-07-19 07:28:01 NuShaman
3 1982, Барвайс, Часть 1. Теория моделей Лис [М]	3	84	2023-07-19 06:57:29 NuShaman
4 1984, Ершов А. П., "Научные основы доказательного программирования" ВежливыйЛис	0	162	2022-05-06 12:05:25 Лис [Л]

Страница: 1