Hans-Jorg Kreowski, Ugo Montanari, Fernando Orejas — Formal methods in software and systems modeling: essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Formal methods in software and systems modeling: essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
Авторы: Hans-Jorg Kreowski, Ugo Montanari, Fernando Orejas
Аннотация:
By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60 birthday of Hartmut Ehrig.
|
|
О проекте