PKK Library catalog › Results of search for 'au:"Peled,Doron A."'

	1.	MODEL CHECKING by Clarke,Edmund M.,Grumberg,Orna \| Peled,Doron A. Material type: Book; Format: print ; Literary form: not fiction Description: xiv,314.Publisher: Mit Press, Cambridge 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.21 C55M] (1). Place hold Add to cart (remove)
	2.	SOFTWARE RELIBILITY METHODS by Peled,Doron A. Material type: Book Description: xix,331.Publisher: Springer-Verlag, New York c2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005 P362S] (1). Place hold Add to cart (remove)

PKK Library