ISBN: | 3540417915 (softcover : alk. paper) |
编目源: | DLC DLC CUS C#P CaOON |
语种代码: | eng |
会议名称: | International Symposium of Formal Methods Europe |
题名: | 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.). |
出版发行项: | Berlin ; New York : Springer, c2001. |
载体形态: | xiii, 628 p. : ; ill. ; 24 cm. |
丛编说明: | Lecture notes in computer science ; 2021. |
书目附注: | Includes bibliographical references and index. |