|
|
|
41. |
|
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.
|
|
42. |
|
ZUM '98: The Z Formal Specification Notation
Jonathan P Bowen, Andreas Fett, Michael G Hinchey
E-bok. Springer Berlin Heidelberg, Tyskland, 2011.
|
|
43. |
|
ZUM '95: The Z Formal Specification Notation
Jonathan P Bowen, Michael G Hinchey
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 1995.
|
|
44. |
|
ZUM'97: The Z Formal Specification Notation
Jonathan P Bowen, Michael G Hinchey, David Till
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 1997.
|
|
45. |
|
ZUM '98: The Z Formal Specification Notation
Jonathan P Bowen, Andreas Fett, Michael G Hinchey
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 1998.
|
|
46. |
|
ZB 2000: Formal Specification and Development in Z and B
Jonathan P Bowen, Steve Dunne, Andy Galloway, Steve King
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2000.
|
|
47. |
|
High-Integrity System Specification and Design
Jonathan P Bowen, Michael G Hinchey
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 1999.
|
|
48. |
|
Formal Methods and Testing
Robert M Hierons, Jonathan P Bowen, Mark Harman
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2008.
|
|
49. |
|
Formal Methods and Testing
Robert M Hierons, Jonathan P Bowen, Mark Harman
E-bok. Springer Berlin Heidelberg, Tyskland, 2008.
|
|
50. |
|
Abstract State Machines, B and Z
Egon Brger, Michael Butler, Jonathan P Bowen, Paul Boca
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2008.
|
|
51. |
|
Abstract State Machines, B and Z
Egon Borger, Michael Butler, Jonathan P Bowen, Paul Boca
E-bok. Springer Berlin Heidelberg, Tyskland, 2008.
|
|
|
|