FME 2001 formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings /

• 作者：Jose Nuno Oliveira, Pamela Zave (eds.).
• 出版者：Springer
• 出版地：Berlin ; New York :
• 語文：英語
• 叢書名：Lecture notes in computer science,
• 電子資源：http://dx.doi.org/10.1007/3-540-45251-6
• ISBN/ISSN/ISRC：9783540417910 (paper)
• 作者：Oliveira, Jose Nuno.;Zave, Pamela.
• 索書號：005.1