
Tell your friends about this item:
A Survey of Verification Techniques for Parallel Programs - Lecture Notes in Computer Science 1985 edition
Howard Barringer
A Survey of Verification Techniques for Parallel Programs - Lecture Notes in Computer Science 1985 edition
Howard Barringer
120 pages, biography
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | May 1, 1985 |
ISBN13 | 9783540152392 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 120 |
Dimensions | 156 × 234 × 6 mm · 190 g |
Language | English |
Show all
More by Howard Barringer
See all of Howard Barringer ( e.g. Paperback Book and Hardcover Book )