Isabelle/HOL

出版社: Springer; 1 edition
出版年: 2002年
页数: 218 页
定价: 110.0
装帧: 平装
ISBN: 9787835404333
目前无人评价

多本比价,批量购买

谁读这本书?

二手市场

订阅关于Isabelle/HOL的评论:
feed: rss 2.0