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.

Détails de l'édition

ISBN-13: 9783540972990
ISBN-10: 3540972994
EAN: 9783540972990
Éditeur: Springer-Verl. (New York)
Date de publication: 1 janvier 1990
Langue: eng
Pages: 474
Dimensions: 24 cm

Provenance des données

dimensions BnF Catalogue général · 23 juillet 2026
language BnF Catalogue général · 23 juillet 2026
page_count Open Library · 1 août 2026
publication_date BnF Catalogue général · 23 juillet 2026
subtitle BnF Catalogue général · 23 juillet 2026
summary Open Library · 1 août 2026
title Open Library · 1 août 2026