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

<![CDATA[Central Library Search for 'au:"Havelund, Klaus."']]> https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Havelund%2C%20Klaus.%22&format=rss2 10 0 50 Tools and Algorithms for the Construction and Analysis of Systems ISBN 9783642548628 https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=51510

. XVIII, 652 p. 142 illus. 9783642548628

Place Hold on Tools and Algorithms for the Construction and Analysis of Systems

]]> https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=51510 NASA Formal Methods ISBN 9783319175249 https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=54953

. XIII, 458 p. 115 illus. 9783319175249

Place Hold on NASA Formal Methods

]]> https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=54953 NASA Formal Methods ISBN 9783319175249 https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85846

. XIII, 458 p. 115 illus. 9783319175249

Place Hold on NASA Formal Methods

]]> https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85846 Tools and Algorithms for the Construction and Analysis of Systems ISBN 9783642548628 https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86120

. XVIII, 652 p. 142 illus. 9783642548628

Place Hold on Tools and Algorithms for the Construction and Analysis of Systems

]]> https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86120 Formal Methods ISBN 9783319955827 https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86726

. XIV, 692 p. 131 illus. 9783319955827

Place Hold on Formal Methods

]]> https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86726 NASA Formal Methods ISBN 9783031067730 https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=90457

. XXII, 828 p. 219 illus., 168 illus. in color. 9783031067730

Place Hold on NASA Formal Methods

]]> https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=90457 Model Checking Software ISBN 9783540851141 https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=92390

. X, 343 p. 9783540851141

Place Hold on Model Checking Software

]]> https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=92390 Runtime Verification ISBN 9783642166129 https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=92838

. XIII, 492 p. 145 illus. 9783642166129

Place Hold on Runtime Verification

]]> https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=92838 NASA Formal Methods ISBN 9783642203985 https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=93238

. XIV, 534 p. 9783642203985

Place Hold on NASA Formal Methods

]]> https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=93238 Formal Approaches to Software Testing and Runtime Verification ISBN 9783540497035 https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=95818

. VIII, 255 p. 9783540497035

Place Hold on Formal Approaches to Software Testing and Runtime Verification

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