Вы здесь

Schieder B.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Adapting Calculational Logic to the Undefined 1999 Schieder B., Broy M. The Computer Journal 20.08.1999
СТ Interpreter Verification for a Functional Language 1994 Broy M., Hinkel U., Nipkow T., Prehofer C., Schieder B. Lecture Notes in Computer Science 11.01.1995