Interactive Systems. Design  Specification  and Verification 

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