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