DSpace Repository
A survey of verification techniques for parallel programs
Login
DSpace Home
→
PSNZ Collections
→
E-Book
→
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
A survey of verification techniques for parallel programs
Barringer, Howard
URI:
http://hdl.handle.net/123456789/2172
Date:
1985
Show full item record
Files in this item
Name:
A Survey of Verif ...
Size:
3.096Mb
Format:
PDF
View/
Open
This item appears in the following Collection(s)
E-Book
Search DSpace
Search DSpace
This Collection
Advanced Search
Browse
All of DSpace
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
My Account
Login
Register
