<![CDATA[Central Library Search for 'au:"Raskin, Jean-Fran�cois."']]>

<![CDATA[Central Library Search for 'au:"Raskin, Jean-Fran�cois."']]> https://opac.nitk.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Raskin%2C%20Jean-Fran%EF%BF%BDcois.%22&format=rss2 2 0 50 Automated Technology for Verification and Analysis ISBN 9783319119366 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=52902

. XXIV, 430 p. 109 illus. 9783319119366

Place Hold on Automated Technology for Verification and Analysis

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=52902 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