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)

Other Popular Editions of the Same Title

9783540152392: A Survey of Verification Techniques for Parallel Programs

Featured Edition

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