内容简介:buji-pac4j 2.9.0 发布,目前暂未见到相关更新信息。buji-pac4j 是 Shiro Web 应用程序的一个简单而强大的安全库,支持身份验证和授权,还提供了高级功能,如 CSRF 保护,基于 Java 8、Shiro 1.4 和 pac4j 安全引...
buji-pac4j 2.9.0 发布,目前暂未见到相关更新信息。buji-pac4j 是 Shiro Web 应用程序的一个简单而强大的安全库,支持身份验证和授权,还提供了高级功能,如 CSRF 保护,基于 Java 8、Shiro 1.4 和 pac4j 安全引擎 v2。
下载地址:
【声明】文章转载自:开源中国社区 [http://www.oschina.net]
以上就是本文的全部内容,希望本文的内容对大家的学习或者工作能带来一定的帮助,也希望大家多多支持 码农网
猜你喜欢:- NPM包(模块)发布、更新、撤销发布
- 有赞灰度发布与蓝绿发布实践
- 【重磅发布】Linkis 0.10.0 版本发布
- BeetlSQL 3.0.9 发布,Idea 插件发布
- 贝密游戏 0.7.0 发布,发布斗地主
- 【重磅发布】DataSphere Studio 0.9.0 版本发布
本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们。
从规范出发的程序设计
[美] Carroll Morgan / 裘宗燕 / 机械工业出版社 / 2002-8 / 45.00元
本书详细论述了有关规范程序设计的内容,包括:程序和精化、谓词演算、选择、迭代、构造类型、模块和封装等,最后几章还包含了大量的实例研究和一些更高级的程序设计技术。本书提倡一种严格的程序开发方法,分析问题要用严格方式写出程序的规范,而后通过一系列具有严格理论基础的推导,最终得到可以运行的程序。 本书是被世界上许多重要大学采用的教材,适于计算机及相关专业的本科生和研究生使用。一起来看看 《从规范出发的程序设计》 这本书的介绍吧!