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

Barringer, H.

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

Synopsis

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

"synopsis" may belong to another edition of this title.

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  3540152393 ISBN 13:  9783540152392
Publisher: Springer, 1985
Softcover