Your search returned 2 results.

Results
	1.	Foundations of program verification by Loeckx Jacques Sieber Kurt [Auth.] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Chichester John Wiley 1984 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.14 L825. Place hold Add to cart (remove)
	2.	No cover image available Mathematics of program construction proceedings by Bernhard Moller ed International Conference on Mathematics of program construction, MPC'95 (3rd : 17-21 July 1995 : Kloster Irsee,Germany) International conference on mathematics of program construction Kloster Irsee, Germany 17-21 July 1995 Series: Lecture notes in computer science; 947 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1995 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.1 In61. Place hold Add to cart (remove)

Refine your search