<![CDATA[Delhi University Library System Search for 'au:"Manna Zohar"']]>

<![CDATA[Delhi University Library System Search for 'au:"Manna Zohar"']]> /cgi-bin/koha/opac-search.pl?idx=&q=au%3A%22Manna%20Zohar%22&sort_by=relevance&format=rss 3 0 50 Logical basis for computer programming ISBN: /cgi-bin/koha/opac-detail.pl?biblionumber=54510 By Manna Zohar.
Reading Addison-Wesley Pub 1985 .
xii, 618p. , Bibliography 579-581p cm..

]]> Place hold on Logical basis for computer programming

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=54510 Logical basis for computer programming ISBN: /cgi-bin/koha/opac-detail.pl?biblionumber=54511 By Manna Zohar.
Reading Addison-Wesley Pub 1985 .
xii, 618p. cm..

]]> Place hold on Logical basis for computer programming

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=54511 Calculus of computation: Decision procedures with applications to verification ISBN:9783540741121 (hbd) /cgi-bin/koha/opac-detail.pl?biblionumber=26047 ]]> By Bradley Aaron R.
Berlin Springer-Verlag 2007 .
xv, 365p. , Bibliographical references 351-355p; Index 357-366p cm..
9783540741121 (hbd)

]]> Place hold on Calculus of computation: Decision procedures with applications to verification

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