Articoli correlati a A Survey of Verification Techniques for Parallel Programs

A Survey of Verification Techniques for Parallel Programs - Brossura

Barringer, H.

 
9780387152394: A Survey of Verification Techniques for Parallel Programs