Your search returned 3 results.

Results
	1.	Temporal verification of reactive systems : safety by Manna, Zohar Pnuieli, Amir Edition: 1a. ed. Material type: 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 (remove)
	2.	The temporal logic of reactive and concurrent systems : specification by Manna, Zohar Pnuieli, Amir Edition: 1st ed. Material type: 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 (remove)
	3.	The logical basis for computer programming by Manna, Zohar Waldinger, Richard Series: Addison-Wesley series in computer science Material type: Text; Format: large print regular print Publication details: Reading : , c1985-1990 Availability: Items available for loan: Biblioteca Fac.Informática (2)Call number: F.4.1 MAN v.1 , ... Place hold Add to cart (remove)

Refine your search