Вы здесь

Ralston T.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ The Role of Education and Training in the Industrial Application of Formal Methods 1995 Ralston T., Gerhart S., Craigen D. Lecture Notes in Computer Science Algebraic Methodology and Software Technology 13.09.1995
СТ Formal Methods Reality Check: Industrial Usage 1993 Craigen D., Gerhart S., Ralston T. Lecture Notes in Computer Science 27.05.1993