On a method of multiprogramming /

Among all the interests in parallelism, there is an essential and fundamental one that has remained largely unexplored, namely the question of how to design parallel programs from their specification. And that is what this book is about. It proposes a method for the formal development of parallel pr...

Full description

Bibliographic Details

Main Author:	Feijen, W. H. J.
Corporate Author:	SpringerLink (Online service)
Other Authors:	Gasteran, A.J.M. (Antonetta J. M.), 1952-
Format:	eBook
Language:	English
Published:	New York : Springer, [1999]
Series:	Monographs in computer science.
Subjects:	Multiprogramming (Electronic computers) Multiprogrammation. Parallelprogrammering. Multiprocessorsystemen. Formale Methode. Korrektheit. Parallelverarbeitung. Programm. Softwareentwicklung. Computer science. Programming Techniques. Software Engineering. Logics and Meanings of Programs. Electronic books.
Online Access:	Connect to the full text of this electronic book