ВходНаше всё Теги codebook 无线电组件 Поиск Опросы Закон Пятница
19 апреля
427646 Топик полностью
Д.ARMоед (25.07.2013 23:33, просмотров: 359) ответил Evgeny_CD на А еще есть ANSI/ISO C Specification Language -> и его реализация...
ну да. народ переизобретает цикл Дейкстры. говорят, полезное упражнение. только ничто не мешает писать в этом стиле на plain c. в смысле - явно формировать пред и постусловия.