Вы здесь
Zave P.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Calls Considered Harmful and Other Observations: A Tutorial on Telephony | 1998 | Zave P. | Lecture Notes in Computer Science | 09.05.1998 | |||
| СТ | Conjunction as Composition | 1993 | Zave P., Jackson M. | ACM Trans. Software Engineering and Methodology | 29.12.1993 | |||
| СТ | Where Do Operations Come From? A Multiparadigm Specification Technique | 1996 | Zave P., Jackson M. | IEEE Trans. on Software Engineering | 14.11.1996 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | FME 2001: Formal Methods for Increasing Software Productivity: Proc./Intern. Symp. of Formal Methods Europe, Berlin, Germany, March 2001 | 2001 | Lecture Notes in Computer Science |
|
05.04.2001 |