Вы здесь

Главная

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonssonon the Occasion of His 60th Birthday

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2021
Ключевые слова: 
архитектура
верификация
легализация
теория автоматов
встроенная система
формальный язык
формальная логика
формальный метод
теория графов
лингвистика
архитектура по
дизайн по
теоретическое программирование
theoretical computer science
model checking
Стр.: 
219 p.
Редактор: 
Olderog E. -R.
Steffen B.
Yi W.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
13030
Карточка: 

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonssonon the Occasion of His 60th BirthdayEd. by Olderog E. -R., Steffen B., Yi W..-Berlin.: Springer, 2021.-Vol. 13030.-219 p.-(Lecture Notes in Computer Science).