Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
暫譯: 代數規範與形式軟體開發基礎（理論計算機科學專著。EATCS系列）
Donald Sannella
- 出版商: Springer
- 出版日期: 2014-03-01
- 售價: $3,480
- 貴賓價: 9.5 折 $3,306
- 語言: 英文
- 頁數: 600
- 裝訂: Paperback
- ISBN: 3642440657
- ISBN-13: 9783642440656
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
商品描述
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification. It concentrates on developing basic concepts and studying their fundamental properties.
商品描述(中文翻譯)
本書從代數規範的角度提供了軟體規範和正式軟體開發的基礎。它專注於發展基本概念並研究其基本特性。
