Amazon cover image
Image from Amazon.com

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

By: Material type: 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): DDC classification:
  • 19 004.05 LEC 1985
LOC classification:
  • QA76.5 .B29627 1985
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Notes Barcode
Books Bangladesh Public Administration Training Centre Library General Stacks 004.05 LEC 1985 Available jakir 65609

Includes bibliographies.

There are no comments on this title.

to post a comment.