01769cam a22003852 b4500 8568511 OSt 20150408113914.0 m d cr n 101011e20110104njua s|||||||| 2|eng|d 9783642170706 3642170706 (Trade Paper) USD 83.00 Retail Price (Publisher) 9783642170706 (WaSeSS)ssj0000446472 3642170706 00024965 BIP US WaSeSS دار أجنادين QA76.9.F67 005.131 21 F o M de Boer, Frank S. Editor edt 3447 Formal Methods for Components and Objects Formal Methods for Components and Objects [electronic resource]: 8th International Symposium, FMCO 2009, Eindhoven, the Netherlands, November 4-6, 2009. Revised Selected Papers New York : Springer Jan. 2011 Lecture Notes in Computer Science / Programming and Software Engineering Ser. 3388 License restrictions may limit access. Annotation This state-of-the-art survey presents the outcome of the 8th Symposium on Formal Methods for Components and Objects, held in Eindhoven, The Netherlands, in November 2009. Scholarly & Professional Springer Bonsangue, Marcello M. Editor edt 3448 Hallerstede, Stefan Editor edt 3449 Leuschel, Michael Editor edt 3450 SpringerLink ebooks - Computer Science (2010) http://www.columbia.edu/cgi-bin/cul/resolve?clio8568511 Full text available from SpringerLink ebooks - Computer Science (2010) Bowker Global Books in Print record ddc DVD 13875 248375 0 2013-03-10 0 0 005.131 F o M 2011-08-27 IC 00102084 IC 2013-03-10 00:00:00 BOOK ddc 0 0 2013-03-10 0 0 005.131 F o M 2011-08-27 IC 00102085 IC 2013-03-10 00:00:00 BOOK ddc 0