| ![](thumb.php?src=products/364/9783642358609.jpg&wmax=80&hmax=80) | Formal Aspects of Component Software: 9th International Symposium, Facs 2012, Mountain View, Ca, Usa, September 11-13, 2012. Revised Selected Papers 2013 Edition (Lecture Notes in Computer Science / Programming and Software) | Pasareanu, Corina S. | Paperback | 3642358608 / 9783642358609 | 01/2013 | $68.40 |