A survey of verification techniques for parallel programs

Simple item page
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
Files
Collections