Couverture : Verification of sequential and concurrent programs

Connectez-vous pour ajouter ce livre à votre bibliothèque.

Verification of sequential and concurrent programs

Krzysztof R. Apt, Ernst-Rüdiger Olderog

Autre Première publication : 1997

Sujets

Programmation parallèle (informatique) Logiciels -- Développement Logiciels -- Vérification

Éditions (1)

Couverture : Verification of sequential and concurrent programs

Verification of sequential and concurrent programs

Springer-Verlag (New York) · 1997 · 9780387948966