BitNami RubyStack
- 授权协议: Apache
- 开发语言: Ruby
- 操作系统: 跨平台
- 软件首页: http://bitnami.org/stack/rubystack
- 软件文档: http://bitnami.org/files/stacks/rubystack/3.2.0-0/rubystack.pdf
软件介绍
BitNami RubyStack 提供了快速简单的 Ruby on Rails 的一键安装包，包括：Ruby, Subversion, MySQL, SQLite, ImageMagick, 和许多 Ruby Gems, 同时提供可选安装 Apache 2.2 具有URL重写和代理支持，支持 Windows, Linux, and OS X
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》 这本书的介绍吧!
