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

丛书系列:

图书标签:

下载链接在页面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

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.