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

Bowen, Jonathan

Zum a98: the z formal specification notation (e-book) - Berlin Springer 1998 - Lecture Notes in Computer Science (LNCS) v.1493 .

978-3-540-49676-2

Powered by Koha