<![CDATA[Central Library Search for 'au:"�Abrah�am, Erika."']]>

<![CDATA[Central Library Search for 'au:"�Abrah�am, Erika."']]> https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22%EF%BF%BDAbrah%EF%BF%BDam%2C%20Erika.%22&format=rss2 4 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 Integrated Formal Methods ISBN 9783319336930 https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=53713

. XIV, 538 p. 145 illus. 9783319336930

Place Hold on Integrated Formal Methods

]]> https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=53713 Formal Techniques for Distributed Objects, Components, and Systems ISBN 9783662436134 https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=53573

. XII, 301 p. 75 illus. 9783662436134

Place Hold on Formal Techniques for Distributed Objects, Components, and Systems

]]> https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=53573 Theory and Practice of Formal Methods ISBN 9783319307343 https://opac.l4.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=58498

. XII, 427 p. 112 illus. in color. 9783319307343

Place Hold on Theory and Practice of Formal Methods

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