Certified Programming with Dependent Types

作者: Adam Chlipala
出版社: The MIT Press
副标题: A Pragmatic Introduction to the Coq Proof Assistant
出版年: 2013-12-6
页数: 440
定价: USD 50.00
装帧: Hardcover
ISBN: 9780262026659

以下豆列推荐  · · · · · ·  ( 全部 )

谁读这本书?

木华
木华
7月9日 想读


xxchan
xxchan
5月20日 想读


forrestgreen
forrestgreen
2月21日 想读


开瓶少女
开瓶少女
1月28日 想读


> 3人在读

> 2人读过

> 22人想读

二手市场

订阅关于Certified Programming with Dependent Types的评论:
feed: rss 2.0