|
|
|
1. |
|
ZB 2003: Formal Specification and Development in Z and B
Didier Bert, Jonathan P Bowen, Steve King, Marina Waldn
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2003.
|
|
2. |
|
ZB 2002: Formal Specification and Development in Z and B
Didier Bert, Jonathan P Bowen, Martin C Henson, Ken Robinson
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2002.
|
|
3. |
|
Recent Trends in Algebraic Development Techniques
Didier Bert, Christine Choppy, Peter Mosses
E-bok. Springer Berlin Heidelberg, Tyskland, 2004.
|
|
4. |
|
ZB 2003: Formal Specification and Development in Z and B
Didier Bert, Jonathan P Bowen, Steve King, Marina Walden
E-bok. Springer Berlin Heidelberg, Tyskland, 2003.
|
|
5. |
|
ZB 2002: Formal Specification and Development in Z and B
Didier Bert, Jonathan P Bowen, Martin C Henson, Ken Robinson
E-bok. Springer Berlin Heidelberg, Tyskland, 2003.
|
|
6. |
|
B'98: Recent Advances in the Development and Use of the B Method
Bert Didier
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 1998.
|
|
7. |
|
Recent Trends in Algebraic Development Techniques
Didier Bert, Christine Choppy, Peter Mosses
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2000.
|
|
|
|