|
|
libcats.org
Formal Methods in Software and Systems ModelingHans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele TaentzerBy presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig. The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual modeling. EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапахАвтор: Роман Савин
Размер книги: 5.26 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Русско-казахский терминологический словарь по микробиологииАвтор: А. С. Садибеков, Автор: С. С. Саймасаев, Автор: К. К. Исаев
Размер книги: 9.37 Mb
Теоретическая механика. Решебник МещерскогоАвтор: Игнашов И.А.Категория: Механика
Размер книги: 3.07 Mb
Проектирование баз данных в среде OpenOffice.org (ПО для управления базами данных): Учебное пособиеАвтор: Пьяных Е.Г.Категория: Информатика и ИКТ
Размер книги: 1.07 Mb
Social Town Planning: Planning and Social PolicyАвтор: Clara GreedКатегория: Общественные науки прочие, Политика
Размер книги: 1.75 Mb
Vowels and Consonants: An Introduction to the Sounds of Languages (first edition)Автор: Peter Ladefoged
Размер книги: 29.69 Mb
Commonsense: A New Look at the Old Philosophical TraditionАвтор: Nicholas Rescher
Размер книги: 3.15 Mb
|
|
|