1
出版 2014
書本目錄: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
獲取全文
電子 電子書
2
出版 2013
書本目錄: ... -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model...
獲取全文
電子 電子書