Вы здесь

Schroder L.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Algebraic-Coalgebraic Specification in CoCASL 2003 Mossakowski T., Reichel H., Roggenbach M., Schroder L. Lecture Notes in Computer Science 14.01.2004
СТ Monad-Independent Dynamic Logic in HasCASL 2003 Schroder L., Mossakowski T. Lecture Notes in Computer Science 14.01.2004
СТ Monad-Independent Hoare Logic in HasCasl 2003 Schroder L., Mossakowski T. Lecture Notes in Computer Science 17.04.2003
СТ HASCASL: Towards Integrated Specification and Development of Functional Programs 2002 Schroder L., Mossakowski T. Lecture Notes in Computer Science 10.10.2002
СТ Towards Trustworthy Specifications I: Consistency Checks 2001 Roggenbach M., Schroder L. Lecture Notes in Computer Science 03.03.2002
СТ Semantics of Architectural Specifications in CASL 2001 Schroder L., Mossakowski T., Tarlecki A., Klin B., Hoffman P. Lecture Notes in Computer Science 05.05.2001
СТ Specifying Real Numbers in CASL 2000 Roggenbach M., Schroder L., Mossakowski T. Lecture Notes in Computer Science 13.10.2000