FM 2008: Formal Methods 

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