Web 服务器客户端工具 VIPR

码农软件 · 软件分类 · 网络工具包 · 2019-02-26 07:12:16

授权协议: MIT
开发语言: C#
操作系统: 跨平台
软件首页: https://github.com/Microsoft/Vipr

软件介绍

VIPR 是用于生成 Web 服务器客户端库的扩展工具。它具有高度的可扩展性，可以帮助开发者阅读新的 Web 服务描述语言，并且为新目标平台创建库。

本文地址：https://www.codercto.com/soft/d/149.html

码农书籍

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》这本书的介绍吧!

码农工具