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

Страница: 1

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

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

Страница: 1