A survey of verification techniques for parallel programs

Barringer, Howard

Título:
A survey of verification techniques for parallel programs
Autor:
Barringer, Howard
Colaboradores:
Temas:
VERIFICACIÓN DE PROGRAMAS ; PROGRAMACIÓN PARALELA ; REUNIONES ; 
Descripción física:
vi, 112 p. ; 25 cm.
ISBN:
3-540-15239-3
Idioma:
Inglés, 
País:
Alemania
Publicación:
Berlín, c1985

Puede solicitar más fácilmente el ejemplar con: A.0.2 BAR

Ver índice

Se cuenta con disponibilidad inmediata para llevar a domicilio.


Disponibilidad Actual Para Préstamo: 1 Disponibilidad Actual Para Sala de Lectura: 0 Cantidad Actual de Reservas: 0 Cantidad Actual de Préstamos: 0

Valoración


Comentarios (0)