A Survey of Verification Techniques for Parallel Programs - Brossura

Barringer, H.

 
9780387152394: A Survey of Verification Techniques for Parallel Programs

Altre edizioni note dello stesso titolo

9783540152392: A Survey of Verification Techniques for Parallel Programs: 191

Edizione in evidenza

ISBN 10:  3540152393 ISBN 13:  9783540152392
Casa editrice: Springer, 2008
Brossura