Статья "Строитель надежных программ"
| Наименование статьи | Строитель надежных программ |
|---|---|
| Страницы | 52 |
| Аннотация | Профессор Высшей политехнической школы в Цюрихе Бертран Мейер - один из тех специалистов, которые определяют лицо современной программной инженерии. Его научные исследования, в том числе в области формального доказательства качества программных приложений, показывают, что программная инженерия способна быть полноценной научной дисциплиной. |
| Журнал | Открытые системы СУБД |
| Номер выпуска | 10 |
| Автор(ы) | Дубова Н. |