- 授权协议: Apache
- 开发语言: C#
- 操作系统: Windows
- 软件首页: http://git.oschina.net/xutongle/Yui.Compressor
软件介绍
用C# 写的 Yui.Compressor 的 GUI,
完全开源无版权说明,随便用,或许可以叫apache开源,但是用了别人的库 ,so,看着办吧
The Little Prover
Daniel P. Friedman、Carl Eastlund / The MIT Press / 2015-7-10 / USD 38.00
[FROM www.amazon.com]: The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, wi......一起来看看 《The Little Prover》 这本书的介绍吧!
