Your search returned 3 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
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
The logical basis for computer programming by Series: Addison-Wesley series in computer science
Material type: Text Text; Literary form: Not fiction
Publication details: Reading : [S.n.], c1985-1990
Availability: Items available for loan: Biblioteca de la Facultad de Informática (2)Call number: F.4.1 MAN v.1 , ...

Place hold
Pages