Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday | Мемориальная библиотека А.П. Ершова

Вы здесь

Количество экземпляров:

1

Вид:

Сборник или журнал

Год:

2016

Ключевые слова:

формальный метод

программирование в ограничениях

дедуктивный

система правил

алгебра процессов

разрешимость

многошинный

система реального времени

временной автомат

cloud computing

Стр.:

427 p.

Редактор:

Место издания:

Издательство:

Серия:

Lecture Notes in Computer Science

Том:

9660

Карточка:

Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th BirthdayEd. by Abraham E., Bonsangue M., Johnsen E. B..-Berlin.: Springer, 2016.-Vol. 9660.-427 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке:

MONO11 750