Вы здесь

Главная

Mathematics of Program Construction: Proc./13th International Conference, MPC 2019, Porto, Portugal, October 2019

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2019
Ключевые слова: 
формальная логика
функциональное программирование
сетевая безопасность
решение проблем
язык программирования
язык запросов
разработка по
эволюция по
доказательство теорем
Стр.: 
467 p.
Редактор: 
Hutton G.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
11825
Карточка: 

Mathematics of Program Construction: Proc./13th International Conference, MPC 2019, Porto, Portugal, October 2019Ed. by Hutton G..-Berlin.: Springer, 2019.-Vol. 11825.-467 p.-(Lecture Notes in Computer Science).