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

	1.	Foundations of program verification [2nd ed.] by Loeckx, Jacques \| Sieber, Kurt. Edition: 2ndMaterial type: Book; Format: print ; Literary form: not fiction Description: ix, 230p.Publisher: Chichester, New York John Wiley 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 L822f2] (1). Place hold Add to cart (remove)
	2.	SOFTWARE VERIFICATION AND VALIDATION by Deutsch, Michael S. Material type: Book; Format: print ; Literary form: not fiction Description: xvi,327.Publisher: Englewood Cliffs Prentice-Hall 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64240287 D489s] (1). Place hold Add to cart (remove)
	3.	Programming logics : an introduction to verification and semantics by Gumb, Raymond D. Material type: Book Description: xvii, 334p.Publisher: New York John Wiley 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 G952p] (1). Place hold Add to cart (remove)

PKK Library