Normal view MARC view ISBD view

A survey of verification techniques for parallel programs

Barringer, Howard

A survey of verification techniques for parallel programs - Berlín : [S.n.], c1985 - vi, 112 p. ; 25 cm. - Lecture notes in computer science ; 191 .

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

ISBN: 3540152393

Standard No.: DIF-M145

Subjects--Topical Terms:
VERIFICACIÓN DE PROGRAMAS
PROGRAMACIÓN PARALELA
REUNIONES

Place hold
Print
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD