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

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

. XIII, 558 p. 123 illus. in color. 9783662491225

Place Hold on Verification, Model Checking, and Abstract Interpretation

]]> https://opac.l1.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=54694 Verification, Model Checking, and Abstract Interpretation ISBN 9783662491225 https://opac.l1.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=97197

. XIII, 558 p. 123 illus. in color. 9783662491225

Place Hold on Verification, Model Checking, and Abstract Interpretation

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