Suchergebnisse für "Didier Bert/Jonathan P Bowen/Martin C Henson et al"

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, Lecture Notes in Computer Science 2272

Didier Bert/Jonathan P Bowen/Martin C Henson et al

Springer Verlag GmbH