Artículos relacionados a A Survey of Verification Techniques for Parallel Programs...

A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science) - Tapa blanda

Barringer, H.

 
9780387152394: A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science)