<![CDATA[Central Library Search for 'au:"H�ahnle, Reiner."']]>

<![CDATA[Central Library Search for 'au:"H�ahnle, Reiner."']]> https://opac.nitk.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22H%EF%BF%BDahnle%2C%20Reiner.%22&format=rss2 2 0 50 Deductive Software Verification - The KeY Book ISBN 9783319498126 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=53054

. XXXII, 702 p. 110 illus. 9783319498126

Place Hold on Deductive Software Verification - The KeY Book

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=53054 Formal Methods for Components and Objects ISBN 9783642406157 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=54978

. X, 241 p. 125 illus. 9783642406157

Place Hold on Formal Methods for Components and Objects

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