02003cam a22004092 b45000010008000000030004000080050017000120060019000290070015000480080041000630200018001040200065001220240018001870350026002050370025002310400044002560500015003000820023003151000041003382100046003792450183004252600037006084400088006455060043007335200187007765210039009637000046010027000043010487000041010917730050011328560132011829100040013149420013013549990018013679520104013859520104014898568511OSt20150408113914.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.eEditor4edt9344710aFormal 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.93388  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.eEditor4edt934481 aHallerstede, StefaneEditor4edt934491 aLeuschel, MichaeleEditor4edt93450 0tSpringerLink ebooks - Computer Science (2010)40uhttp://www.columbia.edu/cgi-bin/cul/resolve?clio8568511zFull text available from SpringerLink ebooks - Computer Science (2010)  aBowker Global Books in Print record  2ddccDVD  c13875d248375  1022013-03-104070a005.131 F o Md2011-08-27hICi00102084mICr2013-03-10 00:00:00tBOOKwddcy0  1022013-03-104070a005.131 F o Md2011-08-27hICi00102085mICr2013-03-10 00:00:00tBOOKwddcy0