1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 3(19)'2002
  5. Типизация данных в системах критического применения

Типизация данных в системах критического применения

Ю.С. Манжос
Аннотации на языках:

В статье рассматриваются ограничения классических систем типов данных и их влияние на надежность программного обеспечения компьютеризированных комплексов критического применения.