Вы здесь

Главная

Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2021
Ключевые слова: 
event-b
логика
теория вычислений
точный метод
абстрактная машина
abstract state machine
гибридная система
представление знаний
бизнес-процесс
формальная модель
теория сложности
недетерминированный выбор
полиномиальное время
верификация
Стр.: 
353 p.
Редактор: 
Raschke A.
Riccobene E.
Schewe K. -D.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
12750
Карточка: 

Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th BirthdayEd. by Raschke A., Riccobene E., Schewe K. -D..-Berlin.: Springer, 2021.-Vol. 12750.-353 p.-(Lecture Notes in Computer Science).