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

<![CDATA[Central Library Search for 'au:"Giannakopoulou, Dimitra."']]> https://opac.nitk.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Giannakopoulou%2C%20Dimitra.%22&format=rss2 7 0 50 Software Engineering and Formal Methods ISBN 9783319104317 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=52345

. XXII, 394 p. 85 illus. 9783319104317

Place Hold on Software Engineering and Formal Methods

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=52345 Verified Software: Theories, Tools and Experiments ISBN 9783319121543 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=58405

. X, 287 p. 107 illus. 9783319121543

Place Hold on Verified Software: Theories, Tools and Experiments

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=58405 NASA Formal Methods ISBN 9783030557546 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86841

. XXI, 442 p. 120 illus., 76 illus. in color. 9783030557546

Place Hold on NASA Formal Methods

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86841 FM 2012: Formal Methods ISBN 9783642327599 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=87982

. XVI, 488 p. 142 illus. 9783642327599

Place Hold on FM 2012: Formal Methods

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=87982 Software Engineering and Formal Methods ISBN 9783319104317 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=88202

. XXII, 394 p. 85 illus. 9783319104317

Place Hold on Software Engineering and Formal Methods

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=88202 Verified Software: Theories, Tools and Experiments ISBN 9783319121543 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=89690

. X, 287 p. 107 illus. 9783319121543

Place Hold on Verified Software: Theories, Tools and Experiments

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=89690 Fundamental Approaches to Software Engineering ISBN 9783642198113 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=92557

. XIII, 464 p. 172 illus., 41 illus. in color. 9783642198113

Place Hold on Fundamental Approaches to Software Engineering

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