Вы здесь

Becker B. R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Hierarchical Method for Reasoning about Distributed Programming Languages 1995 Zhang C., Becker B. R., Heckman M. R., Levitt K., Olsson R. A. Lecture Notes in Computer Science Higher Order Logic Theorem Proving and Its Applications 28.09.1995