Lecture Notes in Computer Science 4407 Logic-Based Program Synthesis and Transformation 16th Interna
出版社
Springer-Verlag
出版时间
2007
ISBN
9783540714095
标注页数
236 页
PDF页数
247 页
书籍介绍
出版社
Springer-Verlag
出版时间
2007
ISBN
9783540714095
标注页数
236 页
PDF页数
247 页