• 题名: Computer Program Synthesis Methodologies
    作者: Alan W. Biermann, Gérard Guiho
    索书号: http://link.springer.com/openurl?genre=book&isbn=978-94-009-7021-2
在架

测试图片