<![CDATA[Library of American University of Madaba Search for 'su:Mathematical Logic and Formal Languages. and au:Legay, Axel.']]>

<![CDATA[Library of American University of Madaba Search for 'su:Mathematical Logic and Formal Languages. and au:Legay, Axel.']]> http://library.aum.edu.jo/cgi-bin/koha/opac-search.pl?q=ccl=su:Mathematical Logic and Formal Languages. and au:Legay, Axel.&format=rss2 2 0 50 Runtime Verification ISBN 9783642407871 http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=15008 By Legay, Axel.. . XVII, 426 p. 113 illus. 9783642407871

Place Hold on Runtime Verification

]]> http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=15008 Hardware and Software: Verification and Testing ISBN 9783319030777 http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=12784 By Bertacco, Valeria.. . XX, 366 p. 147 illus. 9783319030777

Place Hold on Hardware and Software: Verification and Testing

]]> http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=12784