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

Concurrency verification

Autre Première publication : 2001

Sujets

Logiciels -- Vérification

Concurrency verification : introduction to compositional and noncompositional methods

Cambridge university press (Cambridge) · 2001 · 9780521806084