Вы здесь
Jahnichen S.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A Two-Layered Approach to Support Systematic Software Development | 1998 | Heisel M., Jahnichen S. | Lecture Notes in Computer Science | 10.12.1998 | |||
| СТ | 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 | ||
| СТ | An Experimental Support System for Formal Mathematical Reasoning | 1994 | Anlauff M., Jahnichen S., Simons M. | Lecture Notes in Computer Science | 14.12.1994 | |||
| СТ | The ToolUse Approach to Integration | 1990 | Gabriel R., Jahnichen S. | Lecture Notes in Computer Science | 26.02.1991 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Advanced Parallel Processing Technologies: Proc./5th Intern. Workshop, APPT 2003, Xiamen, China, September 2003 | 2003 | Lecture Notes in Computer Science |
|
27.11.2003 | |||
| СБ | Compiler Construction: Proc./8th Intern. Conf., CC 99, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 99. Amsterdam, The Netherlands, March 1999 | 1999 | Lecture Notes in Computer Science |
|
02.04.1999 | |||
| СБ | KORSO: Methods, Languages, and Tools for the Construction of Correct Software | 1995 | Lecture Notes in Computer Science |
|
Final Report | 27.12.1995 |