A survey of verification techniques for parallel programs

dc.contributor.author	Barringer, Howard
dc.date.accessioned	2012-11-04T02:59:49Z
dc.date.available	2012-11-04T02:59:49Z
dc.date.issued	1985
dc.identifier.isbn	0387152393 (U.S. : pbk.)
dc.identifier.uri	http://hdl.handle.net/123456789/2172
dc.language.iso	en	en_US
dc.publisher	Berlin ; New York : Springer-Verlag	en_US
dc.relation.ispartofseries	Lecture notes in computer science ; 191;
dc.subject	QA76.5 .B29627 1985	en_US
dc.subject	Parallel processing (Electronic computers)	en_US
dc.subject	Parallel programs (Computer programs) --Verification.	en_US
dc.title	A survey of verification techniques for parallel programs	en_US
dc.type	Book	en_US