A Survey of Verification Techniques for Parallel Programs 1985 Edition Contributor(s): Barringer, Howard (Author) |
|
ISBN: 3540152393 ISBN-13: 9783540152392 Publisher: Springer OUR PRICE: $37.99 Product Type: Paperback - Other Formats Published: May 1985 |
Additional Information |
BISAC Categories: - Reference | Questions & Answers - Computers | Software Development & Engineering - General - Computers | Programming Languages - General |
Dewey: 001.64 |
Series: Lecture Notes in Computer Science |
Physical Information: 0.27" H x 6.14" W x 9.21" (0.42 lbs) 120 pages |