1
出版 2015
書本目錄: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
獲取全文
電子 電子書
2
出版 2005
書本目錄: ... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...
獲取全文
電子 電子書
3
出版 2006
書本目錄: ... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...
獲取全文
電子 電子書
4
出版 2005
書本目錄: ...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...
獲取全文
電子 電子書