Вы здесь

Главная

Models, Mindsets, Meta: The What, the How, and Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2019
Ключевые слова: 
искусственный интеллект
компьютерная архитектура
формальная логика
формальный метод
логическое программирование
model checking
решение проблем
процессор
компиляция
язык программирования
теория множеств
спецификация
статический анализ
темпоральная логика
доказательство теорем
верификация
Стр.: 
431 p.
Редактор: 
Margaria T.
Graf S.
Larsen K. G.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
11200
Карточка: 

Models, Mindsets, Meta: The What, the How, and Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday/Ed. by Margaria T., Graf S., Larsen K. G..-Berlin.: Springer, 2019.-Vol. 11200.-431 p.-(Lecture Notes in Computer Science).