Ditemukan 1 dokumen yang sesuai dengan query
This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in GuimarĂ£es, Portugal, in October 2010. The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully reviewed and selected from...
Berlin: Springer-Verlag, 2012
e20408664
eBooks Universitas Indonesia Library