A survey of verification techniques for parallel programs /

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.

by Barringer, Howard
Published 1985

Connect to the full text of this electronic book

eBook