PKK Library catalog › Results of search for 'su:{Computer Systems -- Verification}'

	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.	Principles of model checking by Baier, Christel \| Katoen, Joost-Pieter. Material type: Book; Format: print ; Literary form: not fiction Description: xvii, 975p.Publisher: Cambridge The Mit Press 2008Availability: No items available Checked out (1). Place hold Add to cart (remove)

PKK Library