<![CDATA[Central Library Search for 'au:"Bloem, Roderick."']]>

<![CDATA[Central Library Search for 'au:"Bloem, Roderick."']]> https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Bloem%2C%20Roderick.%22&format=rss2 8 0 50 Trusted Systems ISBN 9783319034911 https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=53072

. XII, 103 p. 18 illus. 9783319034911

Place Hold on Trusted Systems

]]> https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=53072 Computer Aided Verification ISBN 9783319088679 https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=53434

. XXXIV, 877 p. 205 illus. 9783319088679

Place Hold on Computer Aided Verification

]]> https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=53434 Hardware and Software: Verification and Testing ISBN 9783319490526 https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=55098

. XVI, 211 p. 60 illus. 9783319490526

Place Hold on Hardware and Software: Verification and Testing

]]> https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=55098 Decidability of Parameterized Verification ISBN 9783031020117 https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=84969

By Bloem, Roderick.. . XI, 158 p. 9783031020117

Place Hold on Decidability of Parameterized Verification

]]> https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=84969 Hardware and Software: Verification and Testing ISBN 9783319490526 https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=88448

. XVI, 211 p. 60 illus. 9783319490526

Place Hold on Hardware and Software: Verification and Testing

]]> https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=88448 Trusted Systems ISBN 9783319034911 https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=89174

. XII, 103 p. 18 illus. 9783319034911

Place Hold on Trusted Systems

]]> https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=89174 Software Verification ISBN 9783030955618 https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=90798

. XIV, 197 p. 67 illus., 42 illus. in color. 9783030955618

Place Hold on Software Verification

]]> https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=90798 Computer Aided Verification ISBN 9783319088679 https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=94603

. XXXIV, 877 p. 205 illus. 9783319088679

Place Hold on Computer Aided Verification

]]> https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=94603