PKK Library catalog › Results of search for 'au:"Manes, Ernest G."'

	1.	Algebraic approaches to program semantics by Manes, Ernest G \| Arbib, Michael A. Material type: Book; Format: print ; Literary form: not fiction Description: xiii, 351p.Publisher: New York Springer-Verlag 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M313a] (1). Place hold Add to cart (remove)
	2.	ALGEBRAIC THEORIES by Manes, Ernest G. Material type: Book; Format: print ; Literary form: not fiction Description: 356.Publisher: New York Springer-Verlag 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512 M313a] (1). Place hold Add to cart (remove)
	3.	PREDICATE TRANSFORMER SEMANTICS by Manes, Ernest G. Material type: Book Description: 223.Publisher: Cambridge Cambridge Univ. Press c1992Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 M313p] (1). Add to cart (remove)

PKK Library