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

Страница: 1

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

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

Страница: 1