Welcome to Central Library, SUST

Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
No cover image available No cover image available
The temporal logic of reactive and concurrent systems / Zohar Manna, Amir Pnueli. by
  • Manna, Zohar
  • Pnueli, Amir, 1941-2009
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer-Verlag, c1992
Online access:
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.1 NAT, ...

Place hold Add to cart
2.
Temporal verification of reactive systems : safety / Zohar Manna, Amir Pnueli. by
  • Manna, Zohar
  • Pnueli, Amir, 1941-2009
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer, c1995
Online access:
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.2 MAT, ...

Place hold Add to cart
Pages