| ISBN： | 3-540-43166-7 |
|---|
| 编目源： | UKM UKM ORE C$Q CVU |
|---|
| 语种代码： | eng |
|---|
| 会议名称： | International Conference of B and Z Users |
|---|
| 题名： | ZB 2002 : formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings / Didier Bert ... [et al.] (eds.). |
|---|
| 出版发行项： | Berlin : London : Springer, c2002. |
|---|
| 载体形态： | xii, 534 p. : ill. ; 24 cm. |
|---|
| 丛编说明： | Lecture notes in computer science 0302-9743 ; 2272. |
|---|
| 丛编说明： | Lecture notes in computer science. Lecture notes in artificial intelligence. |
|---|
| 书目附注： | Includes bibliographical references and index. |
|---|