<![CDATA[ Search for 'Provider:Kluwer Academic Publishers and se:Adances in formal methods']]>

<![CDATA[ Search for 'Provider:Kluwer Academic Publishers and se:Adances in formal methods']]> http://opac.daiict.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=Provider%3AKluwer%20Academic%20Publishers%20and%20se%3AAdances%20in%20formal%20methods&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