Formal Methods for Components and Objects 

 -  Springer Germany  2007 
 - Lecture Notes in Computer Science .
<br/><br/> Subscription to database on August 2010 
<br/><br/><label>ISBN: </label>978-3-540-71748-5 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Science
<br/><br/><label>LC Class. No.: </label>كتب إلكترونية