Вы здесь

Главная

Recent Trends in Algebraic Development Techniques: Revised Selected Papers/24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2018

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2019
Ключевые слова: 
finite state machine
event-b
fuzzy logic
темпоральная логика
трансформация графа
модульная система
параметризация
neural-symbolic integration
детализация
реляционная база данных
сервис-ориентированный
вычисления
service-oriented computing
Стр.: 
175 p.
Редактор: 
Fiadeiro J. L.
Tutu I.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
11563
Карточка: 

Recent Trends in Algebraic Development Techniques: Revised Selected Papers/24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2018Ed. by Fiadeiro J. L., Tutu I..-Berlin.: Springer, 2019.-Vol. 11563.-175 p.-(Lecture Notes in Computer Science).