<![CDATA[ Search for 'su:"Computer systems-verification"']]>

<![CDATA[ Search for 'su:"Computer systems-verification"']]> http://opac.daiict.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22Computer%20systems-verification%22&format=rss2 2 0 50 Systems and software verification : model-checking techniques and tools ISBN 9783642074783 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=22651 By Berard, Beatrice. Berlin: Springer, 2010 . xii, 190 p.; 24 cm.. 9783642074783

Place Hold on Systems and software verification : model-checking techniques and tools

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=22651 Model checking ISBN 0262032708 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=1530 By Clarke, Edmund M.. Cambridge: The MIT Press, 2002 . 314 p.; 23 cm.. 0262032708

Place Hold on Model checking

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