內容簡介
本書是國內第一本介紹Anna語言的書籍.Anna是一種以Ada
為基礎的規格說明語言,大量吸收瞭Pascal等語言的研究成果,
可廣泛用於軟件開發過程中從需求規格說明、設計、編碼、測試到
維護各個階段。全書由三部分組成:第一部分是Anna入門、對
Anna作一般介紹;第二部分是完整的Anna參考手冊;第三部分
詳細描述瞭與Anna互補的TSL-1語言。
本書適用於廣大軟件工作者、高等院校師生,可作為高校本科
生與研究生有關課程的教學參考書。
評分
評分
評分
評分
本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度,google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有