Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Temporal verification of reactive systems : safety by
  • Manna, Zohar
  • Pnuieli, Amir
Edition: 1a. ed.
Material type: Text Text; Format: large print regular print
Publication details: Nueva York : , 1995
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: C.3 MAN .

Place hold Add to cart
2.
The temporal logic of reactive and concurrent systems : specification by
  • Manna, Zohar
  • Pnuieli, Amir
Edition: 1st ed.
Material type: Text Text; Format: large print regular print
Publication details: Nueva York : Springer-Verlag, 1991
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: C.3 MAN .

Place hold Add to cart
Pages

Powered by Koha