- 授权协议: GPLv3
- 开发语言: Java
- 操作系统: Linux
- 软件首页: http://code.google.com/p/protobufeditor/
- 软件文档: http://code.google.com/p/protobufeditor/w/list
软件介绍
Protocol Buffers Editor 是一个用来查看和编辑 Google 的 Protocol Buffers 的二进制文件的工具。
Protocol Buffers是Google公司开发的一种数据描述语言，类似于XML能够将结构化数据序列化，可用于数据存储、通信协议等方面。现阶段支持C++、JAVA、Python等三种编程语言。
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》 这本书的介绍吧!
