1
出版 2006
书本目录: ... and Synthesis of Concrete Syntax -- Correctly Defined Concrete Syntax for Visual Modeling Languages -- Applying...
获取全文
电子 电子书
2
出版 2014
书本目录: ...Experimental Computation and Visual Theorems -- Soft Math Math Soft -- Flyspecking Flyspeck...
获取全文
电子 电子书