Вы здесь

Главная

Theoretical Aspects of Computing - ICTAC 2020: Proc./17th International Colloquium, Macau, China, November 2020

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2020
Ключевые слова: 
верификация
архитектура
теория автоматов
встроенная система
формальный язык
формальная логика
теория графов
логика высшего порядка
лингвистика
model checking
объектно-ориентированное программирование
сети петри
дизайн по
доказательство теорем
теория доказательств
Стр.: 
317 p.
Редактор: 
Pun V.K.I.
Stolz V.
Simao A.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
12545
Карточка: 

Theoretical Aspects of Computing - ICTAC 2020: Proc./17th International Colloquium, Macau, China, November 2020Ed. by Pun V.K.I., Stolz V., Simao A..-Berlin.: Springer, 2020.-Vol. 12545.-317 p.-(Lecture Notes in Computer Science).