TY  - BOOK
T1  - Verifying concurrent processes using temporal logic
T2  - Lecture notes in computer science
A1  - Hailpern, Brent T.
A2  - Goos, G.
A2  - Hartmanis, J.
LA  - English
PP  - Berlín
PB  - Springer
YR  - 1982
ED  - 1a ed.
UL  - http://vufind10-pruebas.sigbunlp.bibliotecas.unlp.edu.ar/Record/dun.55493
OP  - 208
NO  - Incluye índice y bibliografía.
SN  - 0387112057
KW  - VERIFICACIÓN DE PROGRAMAS
KW  - INGENIERÍA DE SOFTWARE
KW  - PROTOCOLOS DE REDES
KW  - LÓGICA TEMPORAL
ER  -