de Boer, Frank S. <br/><br/>
Formal Methods for Components and Objects  8th International Symposium, FMCO 2009, Eindhoven, the Netherlands, November 4-6, 2009. Revised Selected Papers  [electronic resource]: 

 - New York :   Springer  Jan. 2011 
 - Lecture Notes in Computer Science / Programming and Software Engineering Ser. .
<br/><br/> License restrictions may limit access. 
<br/><br/> 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. 
<br/><br/> Scholarly & Professional  Springer 
<br/><br/><label>ISBN: </label>9783642170706 3642170706 (Trade Paper)  USD 83.00 Retail Price (Publisher) 
 = Formal Methods for Components and Objects 
<br/><br/><label>Standard No.: </label>9783642170706 
<br/><br/><label>Source: </label>3642170706  00024965 
<br/><br/><label>LC Class. No.: </label>QA76.9.F67 
<br/><br/><label>Dewey Class. No.: </label>005.131  / F o M