<![CDATA[ Search for 'se,phr:"Adances in formal methods "']]>

<![CDATA[ Search for 'se,phr:"Adances in formal methods "']]> http://opac.daiict.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=se%2Cphr%3A%22Adances%20in%20formal%20methods%20%22&format=rss2 3 0 50 Computer-aided reasoning : an approach ISBN 0792377443 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=3979 By Kaufmann, Matt. Boston: Kluwer Academic Publishers, 2000 . xv, 270 p.; 24 cm.. 0792377443

Place Hold on Computer-aided reasoning : an approach

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=3979 Computer-aided reasoning : ACL2 case studies ISBN 0792378490 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=3982 By Kaufmann, Matt. Boston: Kluwer Academic Publishers, 2000 . xv, 337 p.; 25 cm.. 0792378490

Place Hold on Computer-aided reasoning : ACL2 case studies

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=3982 Object-Z Specification Language ISBN 0792386841 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=4005 By Smith, Graeme. Boston: Kluwer Academic Publishers, 2000 . xiii, 146 p.; 24 cm.. 0792386841

Place Hold on Object-Z Specification Language

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