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

<![CDATA[Central Library Search for 'au:"Holzmann, Gerard."']]> https://opac.l3.nitk.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Holzmann%2C%20Gerard.%22&format=rss2 3 0 50 NASA Formal Methods ISBN 9783319175249 https://opac.l3.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.l3.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=54953 NASA Formal Methods ISBN 9783319175249 https://opac.l3.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.l3.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85846 NASA Formal Methods ISBN 9783642203985 https://opac.l3.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=93238

. XIV, 534 p. 9783642203985

Place Hold on NASA Formal Methods

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