Вы здесь

Henke F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Formal Verification of Algorithms for Critical Systems 1991 Rushby J., Henke F. Software Engineering Notes 03.04.1992