包含标签：形式化方法 的文章
-
![《Event-B建模 系统和软件工程(Event-B modeling)》 作者：Jean-Raymond Abrial；裘宗燕 译 pdf [64.58 MB]](https://www.manongshu.com/wp-content/themes/CorePress/static/img/loading.gif)
《Event-B建模 系统和软件工程(Event-B modeling)》 作者：Jean-Raymond Abrial；裘宗燕 译 pdf [64.58 MB]
《Event-B建模 系统和软件工程(Event-B modeling)》是由Jean-Raymond Abrial撰写的一部重要著作，裘宗燕翻译。该书深入探讨了Event-B建模方法在系统和软件工程中的应用，旨在为研究人员和工程师提供一种形式化的方法论，以提高软件开发过程中的可靠性和安全性。本书首……admin 5天前