A Survey of Verification Techniques for Parallel Programs - Lecture Notes in Computer Science
A Survey of Verification Techniques for Parallel Programs - Lecture Notes in Computer Science
paperback
Published:
1 May, 1985
paperback
Published:
1 May, 1985
Standard worldwide delivery by
Mon, July 20 - Thu, July 23
Order within
0
More Details
| Type | Book |
|---|---|
| ISBN13 | 9783540152392 |
| ISBN10 | 3540152393 |
| Number Of Pages | 120 |
| Item Weight | 1000 g |
| Publisher / Reseller | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| Format | paperback |
| Edition | 1985 ed. |
See More +