用TLA+定義繫統 TLA+語言與工具在軟硬件設計中的應用 圖書 ![](/liaode/images/fjie0.gif)
市場價:1140元 優惠價:960元
立刻節省:180元
本書繫統介紹了形式化建模語言TLA+以及模型檢查工具TLC,並結合若干案例,深入淺出地描述了從數學原理到繫統建模的哲學思想,以及從建模語言的工程實踐到模型驗證工具的運用技巧等內容。本書分為五個部分。第一部分包含大多數程序員和工程師需要了解的有關編寫繫統規約(即建立模型)的所有信息;第二部分包含更高級的示例與材料,供需要進階的讀者使用;第三部分和第四部分為TLA+的參考手冊,包括語言本身的數學定義及工具的原理與使用;第五部分介紹在基礎TLA+上所演進出的TLA+版本2的新特性和少許變更。本書適合高級軟硬件開發設計人員、測試人員、架構師以及相關學術研究人員閱讀。
|