Вы здесь

Главная

Programming Languages and Systems: Proc./29th European Symposium on Programming, ESOP 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2020
Ключевые слова: 
распределенная система
встроенная система
формальный язык
формальная логика
model checking
объектно-ориентированное программирование
система параллельной обработки
компилятор
архитектура по
качество по
верификация
легализация
Стр.: 
772 p.
Редактор: 
Muller P.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
12075
Карточка: 

Programming Languages and Systems: Proc./29th European Symposium on Programming, ESOP 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020Ed. by Muller P..-Berlin.: Springer, 2020.-Vol. 12075.-772 p.-(Lecture Notes in Computer Science).