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

Страница: 1

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

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

Страница: 1