1. UMT Institutional Repository
  2. PSNZ Collections
  3. E-Book
Please use this identifier to cite or link to this item: http://umt-ir.umt.edu.my:8080/handle/123456789/2172
Full metadata record
DC FieldValueLanguage
dc.contributor.authorBarringer, Howard-
dc.date.accessioned2012-11-04T02:59:49Z-
dc.date.available2012-11-04T02:59:49Z-
dc.date.issued1985-
dc.identifier.isbn0387152393 (U.S. : pbk.)-
dc.identifier.urihttp://hdl.handle.net/123456789/2172-
dc.language.isoenen_US
dc.publisherBerlin ; New York : Springer-Verlagen_US
dc.relation.ispartofseriesLecture notes in computer science ; 191;-
dc.subjectQA76.5 .B29627 1985en_US
dc.subjectParallel processing (Electronic computers)en_US
dc.subjectParallel programs (Computer programs) --Verification.en_US
dc.titleA survey of verification techniques for parallel programsen_US
dc.typeBooken_US
Appears in Collections:E-Book

Files in This Item:
File Description SizeFormat 
A Survey of Verification Techniques for Parallel Programs.pdf
  Restricted Access		3.17 MBAdobe PDFView/Open Request a copy
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.