<![CDATA[ Search for 'se,phr:"Formal approaches to computing and information technology"']]>

<![CDATA[ Search for 'se,phr:"Formal approaches to computing and information technology"']]> http://opac.daiict.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=se%2Cphr%3A%22Formal%20approaches%20to%20computing%20and%20information%20technology%22&format=rss2 2 0 50 Industrial-strength formal methods in practice ISBN 1852336404 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=5509 By Bowen, Jonathan P. . London: Springer, 1999 . xvi, 400 p.; 24 cm.. 1852336404

Place Hold on Industrial-strength formal methods in practice

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=5509 Constructing correct software ISBN 1852338202 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=5532 By Cooke, John. London: Springer-Verlag, 2005 . xxi, 509 p.; 24 cm.. 1852338202

Place Hold on Constructing correct software

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