- 授权协议: Apache
- 开发语言: Java
- 操作系统: 跨平台
- 软件首页: https://gitee.com/didispace/isona
- 软件文档: https://gitee.com/didispace/isona
软件介绍
这是一款基于Spring Boot与Spring Cloud构建的微服务管理工具。一个类似于Spring Boot Admin的轮子，但该项目不仅仅是一个轮子，后续将会对接spring4all社区版的微服务脚手架应用实现对使用了Spring Cloud构建的微服务系统全面的监控管理等功能。
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》 这本书的介绍吧!
