29 元券 Interpretation9783540566946StructuresDerivation ￥551 0去看看 澜瑞图书专营店发布了 【4周达】Live Data Structures in Logic Programs : Derivation by Means of Abstract Interpretation [9783540566946]
![【4周达】Live Data Structures in Logic Programs : Derivation by Means of Abstract Interpretation [9783540566946]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN018uF4aY28LaGdg7ukd_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
