On a Method of Multiprogramming (Monographs in Computer Science) W.H.J. Feijen

ISBN:

Published:

Kindle Edition

370 pages


Description

On a Method of Multiprogramming (Monographs in Computer Science)  by  W.H.J. Feijen

On a Method of Multiprogramming (Monographs in Computer Science) by W.H.J. Feijen
| Kindle Edition | PDF, EPUB, FB2, DjVu, AUDIO, mp3, ZIP | 370 pages | ISBN: | 5.58 Mb

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 theoryMoreHere, 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.



Enter the sum





Related Archive Books



Related Books


Comments

Comments for "On a Method of Multiprogramming (Monographs in Computer Science)":


synergiaintencji.pl

©2014-2015 | DMCA | Contact us