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

<![CDATA[Central Library Search for 'au:"Petre, Luigia."']]> https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Petre%2C%20Luigia.%22&format=rss2 3 0 50 Integrated Formal Methods ISBN 9783642386138 https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=55305

. XIV, 443 p. 95 illus. 9783642386138

Place Hold on Integrated Formal Methods

]]> https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=55305 Formal Methods Teaching ISBN 9783030324414 https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=90115

. XVI, 245 p. 545 illus., 53 illus. in color. 9783030324414

Place Hold on Formal Methods Teaching

]]> https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=90115 Integrated Formal Methods ISBN 9783642386138 https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=96027

. XIV, 443 p. 95 illus. 9783642386138

Place Hold on Integrated Formal Methods

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