PKK Library catalog › Results of search for 'au:"Kroger, Fred"'

	1.	Temporal logic of programs by Kroger, Fred. Material type: Book; Format: print ; Literary form: not fiction Description: viii, 148p.Publisher: Berlin Springer-Verlag 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 K914t] (1). Place hold Add to cart (remove)
	2.	Temporal logic and state systems by Kroger, Fred \| Merz, Stephan. Material type: Book; Format: print ; Literary form: not fiction Description: xi, 433p.Publisher: Berlin Springer-Verlag 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 K914t] (1). Place hold Add to cart (remove)

PKK Library