5
1
![A Survey of Verification Techniques for Parallel Programs](http://img.images-bn.com/static/redesign/srcs/images/grey-box.png?v11.9.4)
A Survey of Verification Techniques for Parallel Programs
120![A Survey of Verification Techniques for Parallel Programs](http://img.images-bn.com/static/redesign/srcs/images/grey-box.png?v11.9.4)
A Survey of Verification Techniques for Parallel Programs
120Paperback(1985)
$39.99
39.99
In Stock
Product Details
ISBN-13: | 9783540152392 |
---|---|
Publisher: | Springer Berlin Heidelberg |
Publication date: | 06/14/1985 |
Series: | Lecture Notes in Computer Science , #191 |
Edition description: | 1985 |
Pages: | 120 |
Product dimensions: | 6.10(w) x 9.25(h) x 0.01(d) |
From the B&N Reads Blog