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

Страница: 1

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

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

Страница: 1