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 | ISBN 9783540431664

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

herausgegeben von Didier Bert, Jonathan P. Bowen, Martin C. Henson und Ken Robinson
Mitwirkende
Herausgegeben vonDidier Bert
Herausgegeben vonJonathan P. Bowen
Herausgegeben vonMartin C. Henson
Herausgegeben vonKen Robinson
Buchcover ZB 2002: Formal Specification and Development in Z and B  | EAN 9783540431664 | ISBN 3-540-43166-7 | ISBN 978-3-540-43166-4

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

herausgegeben von Didier Bert, Jonathan P. Bowen, Martin C. Henson und Ken Robinson
Mitwirkende
Herausgegeben vonDidier Bert
Herausgegeben vonJonathan P. Bowen
Herausgegeben vonMartin C. Henson
Herausgegeben vonKen Robinson
Includes supplementary material: sn. pub/extras