|
21 |
Formal specification and development in Z and B Berlin : Springer, 2000
|
|
|
22 |
Formal specification and development in Z and B Berlin : Springer, 2000
|
|
|
23 |
High-Integrity System Specification and Design London : Springer London, 1999
|
|
|
24 |
High integrity system specification and design London : Springer, 1999
|
|
|
25 |
The Z formal specification notation Berlin : Springer, 1998
|
|
|
26 |
The Z formal specification notation Berlin : Springer, c 1998
|
|
|
27 |
The Z formal specification notation Berlin : Springer, 1997
|
|
|
28 |
The Z-formal specification notation Berlin : Springer, 1995
|
|
|
29 |
Z-User Workshop Z-User Workshop (8 : 1994 : Cambridge). - London : Springer, 1994
|
|
|
30 |
Z-User Workshop Z-User Workshop (7 : 1992 : London). - London : Springer, 1993
|
|