Your search returned 3 results.

Sort
Unhighlight Highlight
Select all Clear all
Results
N veces a través del espejo by
Material type: Text Text; Literary form: Not fiction
Publication details: 1995
Dissertation note: Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Ciencias Exactas, 1995.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 95/04 .

Temporal verification of reactive systems : safety by
Edition: 1a. ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Nueva York : [S.n.], 1995
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: C.3 MAN .

Place hold
The temporal logic of reactive and concurrent systems : specification by
Edition: 1st ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Nueva York : Springer-Verlag, 1991
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: C.3 MAN .

Place hold
Pages