Перегляд за автором "Langmaack, Hans"

Сортувати за: Порядок: Результатів:

  • Realistic correct systems implementation 
    Goerigk, Wolfgang; Langmaack, Hans (2003)
    Подана перша частина статті і наступна її друга частина присвячені методам коректної побудови і функціонування великих комп'ютерних систем. У центрі уваги – проблема обґрунтування, що подається в сенсі формулювання ...
  • Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation 
    Goerigk, Wolfgang; Langmaack, Hans (2003)
    The present and the previous article on Realistic Correct Systems Implementation together address correct construction and functioning of large computer based systems. In view of so many annoying and dangerous system ...