Logic-Based Program Synthesis and Transformation. 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers Gopal Gupta, Ricardo Peña

Подробная информация о книге «Logic-Based Program Synthesis and Transformation. 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers Gopal Gupta, Ricardo Peña». Сайт не предоставляет возможности читать онлайн или скачать бесплатно книгу «Logic-Based Program Synthesis and Transformation. 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers Gopal Gupta, Ricardo Peña»

Зарегистрироваться на сайте Подробнее
Gopal Gupta, Ricardo Peña - «Logic-Based Program Synthesis and Transformation. 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers»

О книге

Книга "Logic-Based Program Synthesis and Transformation. 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers".

Полное название книги Gopal Gupta, Ricardo Peña Logic-Based Program Synthesis and Transformation. 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
Авторы Gopal Gupta, Ricardo Peña
Ключевые слова компьютерные технологии, разработка и алгоритмы
Категории Компьютеры и Internet
ISBN 9783319141244
Издательство Springer Nature Customer Service Center LLC
Год 2014
Название транслитом logic-based-program-synthesis-and-transformation-23rd-international-symposium-lopstr-2013-madrid-spain-september-18-19-2013-revised-selected-papers-gopal-gupta-ricardo-pe-a
Название с ошибочной раскладкой logic-based program synthesis and transformation. 23rd international symposium, lopstr 2013, madrid, spain, september 18-19, 2013, revised selected papers gopal gupta-ricardo peña