<![CDATA[Library of American University of Madaba Search for 'an:13758 and au:Steffen, Martin.']]>

<![CDATA[Library of American University of Madaba Search for 'an:13758 and au:Steffen, Martin.']]> http://library.aum.edu.jo/cgi-bin/koha/opac-search.pl?q=ccl=an:13758 and au:Steffen, Martin.&format=rss2 2 0 50 Concurrency, compositionality, and correctness : , essays in honor of Willem-Paul De Roever / ISBN 3642115128 http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=1475 New York : Springer, 2010 . x, 375 p. : 3642115128

Place Hold on Concurrency, compositionality, and correctness :

]]> http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=1475 Formal methods for open object-based distributed systems : , 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings / ISBN 9783540261810 | 3540261818 (pbk.) http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=30522 Berlin ; Springer, 2005 . x, 321 p. : 24 cm.. 9783540261810 | 3540261818 (pbk.)

Place Hold on Formal methods for open object-based distributed systems :

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