<![CDATA[Library of American University of Madaba Search for 'au:Zhu, Huibiao. and au:editor. and au:Woodcock, Jim. and su-to:Software engineering.']]>

<![CDATA[Library of American University of Madaba Search for 'au:Zhu, Huibiao. and au:editor. and au:Woodcock, Jim. and su-to:Software engineering.']]> http://library.aum.edu.jo/cgi-bin/koha/opac-search.pl?q=ccl=au:Zhu, Huibiao. and au:editor. and au:Woodcock, Jim. and su-to:Software engineering.&format=rss2 3 0 50 Unifying Theories of Programming and Formal Engineering Methods ISBN 9783642397219 http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=14902 By Liu, Zhiming.. . XII, 283 p. 50 illus. 9783642397219

Place Hold on Unifying Theories of Programming and Formal Engineering Methods

]]> http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=14902 Theoretical Aspects of Computing – ICTAC 2013 ISBN 9783642397189 http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=14901 By Liu, Zhiming.. . XII, 445 p. 100 illus. 9783642397189

Place Hold on Theoretical Aspects of Computing – ICTAC 2013

]]> http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=14901 Theories of Programming and Formal Methods ISBN 9783642396984 http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=14898 By Liu, Zhiming.. . XII, 413 p. 86 illus. 9783642396984

Place Hold on Theories of Programming and Formal Methods

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