Zum '95: the z formal specification notation (e-book)

Bowen, Jonathan

Zum '95: the z formal specification notation (e-book) - Berlin Springer 1995 - Lecture Notes in Computer Science (LNCS) v.967 .

978-3-540-44782-5

Powered by Koha