On a Method of Multiprogramming 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024

☆☆☆☆☆
简体网页||繁体网页

Feijen, W. H. J./ Gasteren, W. H. J. Van/ Feijen, A. J. M./ Van Gasteran, W. H. J./ Gasteran, A. J. 作者

Springer Verlag

译者

1999-6 出版日期

390 页数

$ 145.77 价格

HRD

丛书系列

9780387988702 图书编码

On a Method of Multiprogramming 在线电子书图书标签:

喜欢 On a Method of Multiprogramming 在线电子书的读者还喜欢

下载链接在页面底部

点击这里下载

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

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-11-13

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

On a Method of Multiprogramming 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

On a Method of Multiprogramming 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024

On a Method of Multiprogramming 在线电子书用户评价

评分☆☆☆☆☆

On a Method of Multiprogramming 在线电子书著者简介

On a Method of Multiprogramming 在线电子书图书目录

On a Method of Multiprogramming 在线电子书 pdf 下载 txt下载 epub 下载 mobi 在线电子书下载

On a Method of Multiprogramming 在线电子书图书描述

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.

On a Method of Multiprogramming 在线电子书下载 mobi epub pdf txt 在线电子书下载

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

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!