Normal view MARC view ISBD view

A survey of verification techniques for parallel programs

By:

Material type: Text

TextSeries: Lecture notes in computer science ; 191Publication details: Berlín : , c1985Description: vi, 112 p. ; 25 cmISBN:

Subject(s):

Contents:

Proof methods for shared variable parallelism -- Proof methods for message-based parallelism.

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	Date due	Barcode
Libros	Biblioteca Fac.Informática	A.0.2 BAR (Browse shelf(Opens below))	Available		DIF-00326

Previous								Next
Previous	A.0.2 ASAI99 ASAI : Argentine Symposium on Artificial Intelligence : proceedings	A.0.2 ASOO97 Argentine Symposium on Object Orientation : Proceedings	A.0.2 AST AST2000 Argentine Symposium on Computing Technology and Go2000 On-going Projects' Session	A.0.2 BAR A survey of verification techniques for parallel programs	A.0.2 CAC CACIC 1996	A.0.2 CAC15 Computer Science & Technology Series : XV Argentine Congress of Computer Science : Selected Papers	A.0.2 CAC15 Computer Science & Technology Series : XV Argentine Congress of Computer Science : Selected Papers	Next

Proof methods for shared variable parallelism -- Proof methods for message-based parallelism.

There are no comments on this title.

to post a comment.