Verifying concurrent processes using temporal logic
Hailpern, Brent T.
- Título:
- Verifying concurrent processes using temporal logic
- Autor:
- Hailpern, Brent T.
- Colaboradores:
- Goos, G.Hartmanis, J.
- Temas:
- VERIFICACIÓN DE PROGRAMAS ; INGENIERÍA DE SOFTWARE ; PROTOCOLOS DE REDES ; LÓGICA TEMPORAL ;
- Edición:
- 1a ed.
- Serie:
- Lecture notes in computer science ; 129
- Descripción física:
- viii, 208 p. :il. ; 25 cm.
- ISBN:
- 0387112057
- Idioma:
- Inglés,
- País:
- Alemania
- Publicación:
- Berlín : Springer, 1982
- Nota general:
- Incluye índice y bibliografía.
Puede solicitar más fácilmente el ejemplar con: D.2.4 HAI
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