Neil D Jones的作品

iMusic 有现货显示无货商品

Cover for Neil D Jones · Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2008 edition] (2008)

Verification, Model Checking, an... (2008)

Cover for Neil D Jones · Logic, Language and Computation: Festschrift in Honor of Satoru Takasu - Lecture Notes in Computer Science (Paperback Book) (1994)

Logic, Language and Computation:... (1994)