UCSC Library OPAC

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
© 2026 All rights reserved. UCSC