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

<![CDATA[Central Library Search for 'au:"Beckert, Bernhard."']]> https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Beckert%2C%20Bernhard.%22&format=rss2 13 0 50 Deductive Software Verification - The KeY Book ISBN 9783319498126 https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=53054

. XXXII, 702 p. 110 illus. 9783319498126

Place Hold on Deductive Software Verification - The KeY Book

]]> https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=53054 Formal Methods for Components and Objects ISBN 9783642358876 https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=53010

. X, 356 p. 129 illus. 9783642358876

Place Hold on Formal Methods for Components and Objects

]]> https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=53010 Electronic Voting ISBN 9783030306250 https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=89713

. X, 233 p. 53 illus., 25 illus. in color. 9783030306250

Place Hold on Electronic Voting

]]> https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=89713 Electronic Voting ISBN 9783030603472 https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=89812

. X, 229 p. 17 illus. 9783030603472

Place Hold on Electronic Voting

]]> https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=89812 The Logic of Software. A Tasting Menu of Formal Methods ISBN 9783031081668 https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=89858

. XII, 521 p. 153 illus., 80 illus. in color. 9783031081668

Place Hold on The Logic of Software. A Tasting Menu of Formal Methods

]]> https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=89858 Tests and Proofs ISBN 9783540791249 https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=91218

. X, 193 p. 9783540791249

Place Hold on Tests and Proofs

]]> https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=91218 Verification of Object-Oriented Software. The KeY Approach ISBN 9783540690610 https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=91675

. XXIX, 658 p. 9783540690610

Place Hold on Verification of Object-Oriented Software. The KeY Approach

]]> https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=91675 Formal Verification of Object-Oriented Software ISBN 9783642317620 https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=91952

. X, 251 p. 34 illus. 9783642317620

Place Hold on Formal Verification of Object-Oriented Software

]]> https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=91952 Formal Methods for Components and Objects ISBN 9783642358876 https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=92631

. X, 356 p. 129 illus. 9783642358876

Place Hold on Formal Methods for Components and Objects

]]> https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=92631 Deductive Software Verification - The KeY Book ISBN 9783319498126 https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=92726

. XXXII, 702 p. 110 illus. 9783319498126

Place Hold on Deductive Software Verification - The KeY Book

]]> https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=92726 Formal Verification of Object-Oriented Software ISBN 9783642180705 https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=94794

. X, 199 p. 45 illus., 1 illus. in color. 9783642180705

Place Hold on Formal Verification of Object-Oriented Software

]]> https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=94794 Automated Reasoning with Analytic Tableaux and Related Methods ISBN 9783540318224 https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=95212

. XIV, 346 p. 9783540318224

Place Hold on Automated Reasoning with Analytic Tableaux and Related Methods

]]> https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=95212 Deductive Software Verification: Future Perspectives ISBN 9783030643546 https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=96317

. XII, 339 p. 93 illus., 39 illus. in color. 9783030643546

Place Hold on Deductive Software Verification: Future Perspectives

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