Аксиоматический метод верификации программ А. Хоара
Лекция проф. Ю.Г. Карпова к дистанционному курсу “Математическая логика“
2 months ago 01:51:38 17
4 months ago 00:06:57 1
4 months ago 00:07:44 3
9 months ago 04:22:55 1
10 months ago 00:17:48 1
10 months ago 01:57:01 1
12 months ago 00:02:04 1
1 year ago 00:09:19 1
1 year ago 00:54:31 1
1 year ago 00:59:15 1
1 year ago 00:06:25 1
2 years ago 00:09:56 1
2 years ago 01:32:38 3
2 years ago 00:12:26 1
3 years ago 00:10:52 1
3 years ago 00:07:36 1
3 years ago 00:07:40 1
3 years ago 02:10:49 1
3 years ago 00:57:06 3
4 years ago 01:53:55 1
5 years ago 00:10:56 1
5 years ago 00:07:00 1
6 years ago 01:35:11 9
9 years ago 00:09:12 79
