Logic-Based Program Synthesis and Transformation
-
- 69,99 $
-
- 69,99 $
От издателя
This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, examines program termination, program transformation, constraint solving and analysis as well as software engineering.
ЖАНР
Компьютеры и Интернет
РЕЛИЗ
2008
26 ноября
ЯЗЫК
EN
английский
ОБЪЕМ
232
стр.
ИЗДАТЕЛЬ
Springer Berlin Heidelberg
ПРОДАВЕЦ
Springer Nature B.V.
РАЗМЕР
5,7
МБ