Logo Biblioteca

Bibliotecas UNLAM
Catálogo Bibliográfico

Bibliotecas UNLAM
Catálogo Bibliográfico

Logo UNLAM
005.2 MAN

Manna, Zohar (1939-...)
  Temporal verification of reactive systems [TXT]. -- New York : Springer-Verlag, c1995

  Referencias bibliográficas: p. 465-479
  ISBN: 0387944591

  1. PROGRAMAS DE COMPUTADORA; 2. COMPUTADORAS I. Pnueli, Amir

  (1) Inv.: 1022499 S.T.: 005.2 MAN
1 Ejemplar
U. Info. Inventario S.T. / Ubicación
1022499 005.2 MAN

Formulario para Solicitud de Material

Manna, Zohar (1939-...)
Temporal verification of reactive systems [TXT]. -- New York : Springer-Verlag, c1995

Referencias bibliográficas: p. 465-479
ISBN: 0387944591

1. PROGRAMAS DE COMPUTADORA; 2. COMPUTADORAS I. Pnueli, Amir

(1) Inv.: 1022499 S.T.: 005.2 MAN
Solicitante: