On a Method of Multiprogramming pdf epub mobi txt 電子書 下載2025
出版者:Springer Verlag
作者:Feijen, W. H. J./ Gasteren, W. H. J. Van/ Feijen, A. J. M./ Van Gasteran, W. H. J./ Gasteran, A. J.
出品人:
頁數:390
译者:
出版時間:1999-6
價格:$ 145.77
裝幀:HRD
isbn號碼:9780387988702
叢書系列:
圖書標籤:
下載連結在頁面底部
Here, the authors propose a method for the formal development of parallel programs - or multiprograms as they prefer to call them. They accomplish this with a minimum of formal gear, i.e. with the predicate calculus and the well- established theory of Owicki and Gries. They show that the Owicki/Gries theory can be effectively put to work for the formal development of multiprograms, regardless of whether these algorithms are distributed or not.
具體描述
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
评分
评分
评分
评分
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有