<![CDATA[ Search for 'su:"Computer Logic" and itype:BK and se:Texts in computer science']]>

<![CDATA[ Search for 'su:"Computer Logic" and itype:BK and se:Texts in computer science']]> http://opac.daiict.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22Computer%20Logic%22%20and%20itype%3ABK%20and%20se%3ATexts%20in%20computer%20science&format=rss2 2 0 50 Refinement calculus ISBN 0387984178 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=2184 By Back, Ralph-Johan. New York: Springer-Verlag, 1998 . xv, 519 p.; 24 cm.. 0387984178

Place Hold on Refinement calculus

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=2184 Modal and temporal properties of processes ISBN 0387987177 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=2202 By Stirling, Colin. New York: Springer-Verlag, 2001 . xii, 190 p.; 24 cm.. 0387987177

Place Hold on Modal and temporal properties of processes

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=2202