DSpace JSPUI
DSpace preserves and enables easy and open access to all types of digital content including text, images, moving images, mpegs and data sets
Learn More
Please use this identifier to cite or link to this item:
http://umt-ir.umt.edu.my:8080/handle/123456789/2172| Title: | A survey of verification techniques for parallel programs |
| Authors: | Barringer, Howard |
| Keywords: | QA76.5 .B29627 1985 Parallel processing (Electronic computers) Parallel programs (Computer programs) --Verification. |
| Issue Date: | 1985 |
| Publisher: | Berlin ; New York : Springer-Verlag |
| Series/Report no.: | Lecture notes in computer science ; 191; |
| URI: | http://hdl.handle.net/123456789/2172 |
| ISBN: | 0387152393 (U.S. : pbk.) |
| Appears in Collections: | E-Book |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| A Survey of Verification Techniques for Parallel Programs.pdf Restricted Access | 3.17 MB | Adobe PDF | View/Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.