包含标签：可靠性 的文章
-
![《分布式消息中间件实践》 倪炜 pdf [151.78 MB]](https://www.manongshu.com/wp-content/themes/CorePress/static/img/loading.gif)
《分布式消息中间件实践》 倪炜 pdf [151.78 MB]
《分布式消息中间件实践》是倪炜所著的一本专注于分布式系统和消息中间件的实用指南。本书通过丰富的实例和深入的分析，帮助读者理解分布式消息中间件的基本概念、架构设计以及实际应用。 本书的主要内容包括： 分布式消息中间件的定义与作用 消息队列的基本原理 常……admin 2026年2月18日
-
《Event-B建模 系统和软件工程(Event-B modeling)》 作者：Jean-Raymond Abrial；裘宗燕 译 pdf [64.58 MB]
《Event-B建模 系统和软件工程(Event-B modeling)》是由Jean-Raymond Abrial撰写的一部重要著作，裘宗燕翻译。该书深入探讨了Event-B建模方法在系统和软件工程中的应用，旨在为研究人员和工程师提供一种形式化的方法论，以提高软件开发过程中的可靠性和安全性。本书首……