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

<![CDATA[Central Library Search for 'au:"Chechik, Marsha."']]> https://opac.nitk.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Chechik%2C%20Marsha.%22&format=rss2 2 0 50 Tools and Algorithms for the Construction and Analysis of Systems ISBN 9783662496749 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=54272

. XIX, 961 p. 220 illus. 9783662496749

Place Hold on Tools and Algorithms for the Construction and Analysis of Systems

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

. XIV, 199 p. 36 illus. 9783319488691

Place Hold on Verified Software. Theories, Tools, and Experiments

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