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

Bowen, Jonathan

Zum '97: the z formal specification notation (e-book) - Berlin Springer 1997 - Lecture Notes in Computer Science (LNCS) v.1212 .

978-3-540-68490-9

Powered by Koha