Beauty Is Our Business
Subtitle: A Birthday Salute to Edsger W. Dijkstra (Monographs in Computer Science)
Contributors: W.H.J. Feijen (Editor); A.J.M. van Gasteren (Editor); David Gries (Editor); J. Misra (Editor)
Publisher: Springer
Published: April 23, 1990
Language: eng
Number of pages: 453
ISBN-13: 9780387972992
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.