A survey of verification techniques for parallel programs / Howard Barringer.

By: Barringer, Howard, 1951-Material type: Text

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 1985

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item 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

Includes bibliographies.

There are no comments on this title.

to post a comment.