<![CDATA[Central Library Search for 'au:"Larsen, Kim Guldstrand."']]>

<![CDATA[Central Library Search for 'au:"Larsen, Kim Guldstrand."']]> https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Larsen%2C%20Kim%20Guldstrand.%22&format=rss2 6 0 50 Verification, Model Checking, and Abstract Interpretation ISBN 9783662460818 https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=55333

. XVIII, 468 p. 102 illus. 9783662460818

Place Hold on Verification, Model Checking, and Abstract Interpretation

]]> https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=55333 Reachability Problems ISBN 9783319459943 https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=57715

. XIV, 193 p. 38 illus. 9783319459943

Place Hold on Reachability Problems

]]> https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=57715 Formal Methods for Industrial Critical Systems ISBN 9783030270087 https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86618

. XV, 161 p. 156 illus., 33 illus. in color. 9783030270087

Place Hold on Formal Methods for Industrial Critical Systems

]]> https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86618 Reachability Problems ISBN 9783319459943 https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=89070

. XIV, 193 p. 38 illus. 9783319459943

Place Hold on Reachability Problems

]]> https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=89070 Dependable Software Engineering. Theories, Tools, and Applications ISBN 9783319694832 https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=90921

. XVIII, 351 p. 74 illus. 9783319694832

Place Hold on Dependable Software Engineering. Theories, Tools, and Applications

]]> https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=90921 Verification, Model Checking, and Abstract Interpretation ISBN 9783662460818 https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=91154

. XVIII, 468 p. 102 illus. 9783662460818

Place Hold on Verification, Model Checking, and Abstract Interpretation

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