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