Beauty Is Our Business (Monographs in Computer Science)
Contributors: W.H.J. Feijen (Editor); A.J.M. van Gasteren (Editor); David Gries (Editor); J. Misra (Editor)
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: May 1990
Format: Hardcover
Number of pages: 474
ISBN-13: 9783540972990
Subjects: Computer Programming; Mathematics
First sentence: The Owicki-Gries method [2] for verifying partial correctness of parallel programs calls for finding interference free proof outlines for partial correctness of component programs.