Cover Image

A survey of verification techniques for parallel programs /

Show other versions (1)
Bibliographic Details
Other Authors: Barringer, Howard, 1951-
Format: Book
Language:English
Published: Berlin ; New York : Springer-Verlag, [1985]
Series:Lecture notes in computer science ; 191.
Subjects:
Parallel processing (Electronic computers)
Computer programs > Verification.
Description
Physical Description:vi, 114 pages ; 25 cm.
Bibliography:Includes bibliographies.
ISBN:0387152393 (U.S. : pbk.)