Your search returned 4 results.

Results
	1.	Formal methods of program verification and specification by H.K. Berg, [et al] by Berg, H.K., [et al] Material type: Book Publication details: New Jersey Prentice-Hall 1982 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.6425 N8213. Place hold
	2.	An introduction to formal program verification by Ali Mili by Mili, Ali Material type: Book Publication details: New York Van Nostrand Reinhold Company 1985 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.642 N8524. Place hold
	3.	Foundations of program verification by Jacques Loeckx, Kurt Sieber, Ryan D. Stansifer by Loeckx, Jacques Sieber, Kurt Stansifer, Ryan D Series: Wiley-Teubner series in computer science Edition: second Material type: Book Publication details: Chichester John Wiley and sons 1987 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.6424 N8746. Place hold
	4.	Calculus of computation decision procedures with applications to verification by decision procedures with applications to verification by Bradley, Aaron R, Material type: Book Publication details: Berlin Springer 2007 Availability: Items available for loan: Electrical Communication Engineering (1)Call number: 003.3 BRA/C. Place hold

Refine your search