Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
Donald Sannella
- 出版商: Springer
- 出版日期: 2014-03-01
- 售價: $3,460
- 貴賓價: 9.5 折 $3,287
- 語言: 英文
- 頁數: 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.
