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

More Information

Format: Paperback
Pages: 115
Publisher: Springer
Published: 01 May 1985
ISBN 10: 3540152393
ISBN 13: 9783540152392
Book Overview: Springer Book Archives