Вы здесь

Главная

Programming Languages and Systems: Proc./26th European Symposium on Programming, ESOP 2017 Held as Part of ETAPS 2017, Uppsala, Sweden, April 2017

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2017
Ключевые слова: 
разработка по
отбор
программное обеспечение
оценка
верификация
семантика
язык программирования
компилятор
система типов
функциональное программирование
separation logic
формальная логика
параллелизм
логика программирования
автоматический
доказательство
правильность
контекстный
язык спецификаций
Стр.: 
992 p.
Редактор: 
Yang H.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
10201
Карточка: 

Programming Languages and Systems: Proc./26th European Symposium on Programming, ESOP 2017 Held as Part of ETAPS 2017, Uppsala, Sweden, April 2017Ed. by Yang H..-Berlin.: Springer, 2017.-Vol. 10201.-992 p.-(Lecture Notes in Computer Science).

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