<![CDATA[PKK Library Search for 'su:{Computer Programming} and holdingbranch:IITK and se:Monographs in Computer Science, and su-to:Computer Science.']]>

<![CDATA[PKK Library Search for 'su:{Computer Programming} and holdingbranch:IITK and se:Monographs in Computer Science, and su-to:Computer Science.']]> /cgi-bin/koha/opac-search.pl?q=ccl=su%3A%7BComputer%20Programming%7D%20and%20holdingbranch%3AIITK%20and%20se%3AMonographs%20in%20Computer%20Science%2C%20and%20su-to%3AComputer%20Science.&format=rss2 3 0 200 Reverse Engineering of Object Oriented Code ISBN 9780387238036 /cgi-bin/koha/opac-detail.pl?biblionumber=499783 By Tonella, Paolo.. . XIV, 208 p. 80 illus. 9780387238036

Place Hold on Reverse Engineering of Object Oriented Code

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=499783 Abstraction, Refinement and Proof for Probabilistic Systems ISBN 9780387270067 /cgi-bin/koha/opac-detail.pl?biblionumber=499831 By McIver, Annabelle.. . XX, 388 p. 63 illus. 9780387270067

Place Hold on Abstraction, Refinement and Proof for Probabilistic Systems

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=499831 Adapting Proofs-as-Programs ISBN 9780387281834 /cgi-bin/koha/opac-detail.pl?biblionumber=499853 By Poernomo, Iman Hafiz.. . XII, 420 p. 54 illus. 9780387281834

Place Hold on Adapting Proofs-as-Programs

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=499853