Вы здесь

Beyer M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ Amalgamated Graph Transformations and Their Use for Specifying AGG - an Algebraic Graph Grammar Systems 1994 Taentzer G., Beyer M. Lecture Notes in Computer Science 27.04.1994
СТ Agg - An Implementation of Algebraic Graph Rewriting 1993 Lowe M., Beyer M. Lecture Notes in Computer Science 09.07.1993