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

Techniques

von Howard Barringer

Taschenbuch

ISBN-13: 978-3-540-15239-2

ISBN-10: 3-540-15239-3

Springer · 2008

Siehe auch (möglicherweise von anderen Autoren):
1985PaperbackA Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science)