Вы здесь

Jahnichen S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ The ToolUse Approach to Integration 1990 Gabriel R., Jahnichen S. Lecture Notes in Computer Science 26.02.1991
СТ An Experimental Support System for Formal Mathematical Reasoning 1994 Anlauff M., Jahnichen S., Simons M. Lecture Notes in Computer Science 14.12.1994
СТ Formalization of Algebraic Specification in the Development Language Deva 1995 Santen T., Kammuller F., Jahnichen S., Beyer M. Lecture Notes in Computer Science KORSO: Methods, Languages, and Tools for the Construction of Correct Software 28.12.1995
СТ A Two-Layered Approach to Support Systematic Software Development 1998 Heisel M., Jahnichen S. Lecture Notes in Computer Science 10.12.1998