基于逻辑的程序综合与变换/会议录 Logic based program synthesis and transformation

作者: Alberto Pettorossi
出版社: 1 edition (2002年8月1日)
出版年: 2002-12
页数: 265
定价: 452.00元
装帧: 平装
ISBN: 9783540439158
目前无人评价

在哪儿借这本书  · · · · · ·

谁读这本书?

二手市场

订阅关于基于逻辑的程序综合与变换/会议录 Logic based program synthesis and transformation的评论:
feed: rss 2.0