Koha online catalog › Results of search for 'au:"Vardi, Moshe Y."'

	1.	Reasoning about knowledge by Halpern, Joseph Y \| Moses, Yoram \| Vardi, Moshe Y. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: MIT Press, 2003Availability: Items available for loan: [Call number: 153.4 FAG] (1). Place hold
	2.	Formal techniques for networked and distributed systems - FORTE 2002 by Peled, Doron A \| Vardi, Moshe Y. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 PEL] (1). Place hold

Koha online