A survey of verification techniques for parallel programs / Howard Barringer.
Material type: TextSeries: Lecture notes in computer science ; 191Publication details: Berlin ; New York : Springer-Verlag, c1985. Description: vi, 114 p. ; 25 cmISBN: 0387152393 (U.S. : pbk.)Subject(s): Parallel processing (Electronic computers) | Parallel programs (Computer programs) -- VerificationDDC classification: 004.05 LOC classification: QA76.5 | .B29627 1985Item type | Current library | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|---|
Books | Bangladesh Public Administration Training Centre Library General Stacks | 004.05 LEC 1985 (Browse shelf(Opens below)) | Available | jakir | 65609 |
Browsing Bangladesh Public Administration Training Centre Library shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
004.019 NEM 1986 Man-computer interaction research MACINTER-I : | 004.03 DIC 1995 Dictionary of multimedia / | 004.0321 ROD 1987 Dictionary of computers, information processing, and telecommunications / | 004.05 LEC 1985 A survey of verification techniques for parallel programs / | 004.068 EII 1985 Information systems management : | 004.068076 PRO 2002 Programme on "IT & E-Governance" for Colombo plan countries (Septembor 16-17, 2002) : | 004.0685 BRI 1994 Information service excellence through TQM : |
Includes bibliographies.
There are no comments on this title.