01609cam a22003492 b45000010008000000030004000080050017000120060019000290070015000480080041000630200018001040200065001220240018001870350026002050370025002310400019002560500015002750820023002901000035003132100046003482450183003942600037005774400082006145060043006965200187007395210039009267000040009657000037010057000035010427730050010778560132011278568511OSt20150408114153.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 USdWaSeSS 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)