The Z Formal Specification Notation : Lecture Notes in Computer Science : Proceedings
Bowen, J.P.: Hinchey, M.G. : Till, D.:
The Z Formal Specification Notation : Lecture Notes in Computer Science : Proceedings - Springer: Tokyo 1997 - 433 p.
0003540627170
Formal Methods
005.12 / B59
The Z Formal Specification Notation : Lecture Notes in Computer Science : Proceedings - Springer: Tokyo 1997 - 433 p.
0003540627170
Formal Methods
005.12 / B59