A Survey of Verification Techniques for Parallel Programs - Couverture souple

Barringer, H.

 
9780387152394: A Survey of Verification Techniques for Parallel Programs

Synopsis

No A Survey of Verification Techniques for Parallel Programs Read a customer review or write one .

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre

9783540152392: A Survey of Verification Techniques for Parallel Programs

Edition présentée

ISBN 10 :  3540152393 ISBN 13 :  9783540152392
Editeur : Springer, 2008
Couverture souple