Вы здесь

Spies K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Software and System Modeling Based on a Unified Formal Semantics 1998 Broy M., Huber F., Paech B., Rumpe B., Spies K. Lecture Notes in Computer Science 10.12.1998
П Summary of Case Studies in FOCUS - a Design Method for Distributed Systems 1994 Broy M., Funchs M., Gritzner T. F., Schatz B., Spies K., Stolen K. TUM 05.07.1995
П EITeL- ein intervallbasierter temporallogischer Ansatz 1992 Spies K., Mayer O. Univ. Kaiserslautern 28.10.1992

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Formal Systems Specification: The RPC-Memory Specification Case Study 1996 Lecture Notes in Computer Science
  1. Broy M.
  2. Merz S.
  3. Spies K.
24.12.1996