| 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. |
|---|