Logic-Based Program Synthesis and Transformation
-
- 69,99 US$
-
- 69,99 US$
Lời Giới Thiệu Của Nhà Xuất Bản
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.
THỂ LOẠI
Máy Vi Tính & Internet
ĐÃ PHÁT HÀNH
2008
26 tháng 11
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
232
Trang
NHÀ XUẤT BẢN
Springer Berlin Heidelberg
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
5,7
Mb