A survey of verification techniques for parallel programs / Howard Barringer.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current library | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|---|
![]() |
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.