Beauty Is Our Business (Monographs in Computer Science)
Connectez-vous pour ajouter ce livre à votre bibliothèque.
Beauty Is Our Business (Monographs in Computer Science)
Autre
Première publication : 1990
Résumé
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.