Your search returned 3 results.

Results
		Reverse Engineering of Object Oriented Code [electronic resource] / by Tonella, Paolo [author.] Potrich, Alessandra [author.] SpringerLink (Online service) Series: Monographs in Computer Science Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
		Abstraction, Refinement and Proof for Probabilistic Systems [electronic resource] / by McIver, Annabelle [author.] Morgan, Carroll [author.] SpringerLink (Online service) Series: Monographs in Computer Science Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
		Adapting Proofs-as-Programs : The Curry-Howard Protocol /[electronic resource] : by Poernomo, Iman Hafiz [author.] Wirsing, Martin [author.] Crossley, John Newsome [author.] SpringerLink (Online service) Series: Monographs in Computer Science Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)

P K Kelkar Library

Indian Institute of Technology, Kalyanpur, Kanpur, U P 208016 India| Web: https://pkklib.iitk.ac.in

Email : librarian@iitk.ac.in | Phone : +91 512 259-7233

Visitor Counter:

Powered by Koha