On A Method Of Multiprogramming
Download On A Method Of Multiprogramming full books in PDF, epub, and Kindle. Read online free On A Method Of Multiprogramming ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
On a Method of Multiprogramming
Author | : W.H.J. Feijen |
Publisher | : Springer Science & Business Media |
Total Pages | : 370 |
Release | : 2013-06-29 |
Genre | : Computers |
ISBN | : 1475731264 |
Download On a Method of Multiprogramming Book in PDF, Epub and Kindle
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 Related Books
Language: en
Pages: 370
Pages: 370
Type: BOOK - Published: 2013-06-29 - Publisher: Springer Science & Business Media
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 m
Language: en
Pages: 430
Pages: 430
Type: BOOK - Published: 2012-09-07 - Publisher: Springer Science & Business Media
In this book, a programming model is developed that addresses the fundamental issues of 'large-scale programming'. The approach unifies several concepts from da
Language: en
Pages: 204
Pages: 204
Type: BOOK - Published: 1988 - Publisher: Addison-Wesley Longman
Language: en
Pages: 518
Pages: 518
Type: BOOK - Published: 2000 - Publisher: New Age International
Language: en
Pages: 118
Pages: 118
Type: BOOK - Published: 1974 - Publisher: