Cover Image

A survey of verification techniques for parallel programs

Saved in:
Bibliographic Details
Main Author: Barringer, Howard
Format: Book
Language:English
Published: Berlin ; New York : Springer-Verlag 2012
Subjects:
QA76.5 .B29627 1985
Parallel processing (Electronic computers)
Parallel programs (Computer programs) > Verification.
Online Access:http://hdl.handle.net/123456789/2172
Tags: Add Tag
No Tags, Be the first to tag this record!
id my.umt.ir-2172
record_format eprints
spelling my.umt.ir-21722016-03-16T05:27:35Z A survey of verification techniques for parallel programs Barringer, Howard QA76.5 .B29627 1985 Parallel processing (Electronic computers) Parallel programs (Computer programs) --Verification. 2012-11-04T02:59:49Z 2012-11-04T02:59:49Z 1985 Book 0387152393 (U.S. : pbk.) http://hdl.handle.net/123456789/2172 en Lecture notes in computer science ; 191; application/pdf Berlin ; New York : Springer-Verlag
institution Universiti Malaysia Terengganu
building Perpustakaan Sultanah Nur Zahirah
collection Institutional Repository
continent Asia
country Malaysia
content_provider Universiti Malaysia Terengganu
content_source UMT-IR
url_provider http://umt-ir.umt.edu.my:8080/
language English
topic QA76.5 .B29627 1985
Parallel processing (Electronic computers)
Parallel programs (Computer programs) --Verification.
spellingShingle QA76.5 .B29627 1985
Parallel processing (Electronic computers)
Parallel programs (Computer programs) --Verification.
Barringer, Howard
A survey of verification techniques for parallel programs
format Book
author Barringer, Howard
author_facet Barringer, Howard
author_sort Barringer, Howard
title A survey of verification techniques for parallel programs
title_short A survey of verification techniques for parallel programs
title_full A survey of verification techniques for parallel programs
title_fullStr A survey of verification techniques for parallel programs
title_full_unstemmed A survey of verification techniques for parallel programs
title_sort survey of verification techniques for parallel programs
publisher Berlin ; New York : Springer-Verlag
publishDate 2012
url http://hdl.handle.net/123456789/2172
_version_ 1738395422921064448
score 13.214268

Similar Items