Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures /

• 作者：edited by Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine
• 出版者：Springer Berlin Heidelberg
• 出版地：Berlin, Heidelberg :
• 語文：英語
• 叢書名：Lecture notes in computer science ;
• 電子資源：連結全文
• ISBN/ISSN/ISRC：9783642041679 ((electronic bk.)) ; 9783642041662 ((paper))
• 作者：Boer Frank S de;Madelaine Eric;Bonsangue Marcello M
• 索書號：004.0151
• 團體作者：