01634cam a22003492 b45000010008000000030004000080050017000120060019000290070015000480080041000630200018001040200065001220240018001870350026002050370025002310400044002560500015003000820023003151000035003382100046003732450183004192600037006024400082006395060043007215200187007645210039009517000040009907000037010307000035010677730050011028560132011528568511OSt20150408113914.0m        d        cr  n         101011e20110104njua    s|||||||| 2|eng|d  a9783642170706  a3642170706 (Trade Paper)cUSD 83.00 Retail Price (Publisher)3 a9783642170706  a(WaSeSS)ssj0000446472  a3642170706b00024965  aBIP USdWaSeSScدار أجنادين 4aQA76.9.F6700a005.131221bF o M1 ade Boer, Frank S.eEditor4edt10aFormal Methods for Components and Objects10aFormal Methods for Components and Objectsh[electronic resource]:b8th International Symposium, FMCO 2009, Eindhoven, the Netherlands, November 4-6, 2009. Revised Selected Papers  aNew York : bSpringercJan. 2011 0aLecture Notes in Computer Science / Programming and Software Engineering Ser.  aLicense restrictions may limit access.8 aAnnotationbThis 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.  aScholarly & ProfessionalbSpringer1 aBonsangue, Marcello M.eEditor4edt1 aHallerstede, StefaneEditor4edt1 aLeuschel, MichaeleEditor4edt 0tSpringerLink ebooks - Computer Science (2010)40uhttp://www.columbia.edu/cgi-bin/cul/resolve?clio8568511zFull text available from SpringerLink ebooks - Computer Science (2010)