Вы здесь

Roggenbach M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Specifying Real Numbers in CASL 2000 Roggenbach M., Schroder L., Mossakowski T. Lecture Notes in Computer Science 13.10.2000
СТ Towards Trustworthy Specifications I: Consistency Checks 2001 Roggenbach M., Schroder L. Lecture Notes in Computer Science 03.03.2002
СТ Algebraic-Coalgebraic Specification in CoCASL 2003 Mossakowski T., Reichel H., Roggenbach M., Schroder L. Lecture Notes in Computer Science 14.01.2004
СТ A Complete Axiomatic Semantics for the CSP Stable-Failures Model 2006 Isobe Y., Roggenbach M. Lecture Notes in Computer Science Lecture Notes in Computer Science 28.09.2006

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Algebra and Coalgebra in Computer Science: Proc./First International Conference, CALCO 2005. Swansea, UK, September 2005 2005 Lecture Notes in Computer Science
  1. Fiadeiro J. L.
  2. Harman N.
  3. Roggenbach M.
  4. Rutten J.
18.10.2005