<![CDATA[Library of American University of Madaba Search for 'su:Computer programs and su:Congresses. and su-to:Formal methods Computer science']]>

<![CDATA[Library of American University of Madaba Search for 'su:Computer programs and su:Congresses. and su-to:Formal methods Computer science']]> http://library.aum.edu.jo/cgi-bin/koha/opac-search.pl?q=ccl=su:Computer programs and su:Congresses. and su-to:Formal methods Computer science&format=rss2 2 0 50 Formal methods for industrial critical systems : , 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings / ISBN 9783642158971 http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=4970 Berlin : Springer, 2010 . xii, 230 p. : 9783642158971

Place Hold on Formal methods for industrial critical systems :

]]> http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=4970 Runtime verification : , First International Conference, RV 2010, St. Julians, November 1-4, 2010, proceedings / ISBN 9783642166112 http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=4965 Berlin : Springer, 2010 . xiii, 492 p. : 9783642166112

Place Hold on Runtime verification :

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