Zb 2000: formal specification and development in z and b (e-book)

Bowen, Jonathan

Zb 2000: formal specification and development in z and b (e-book) - Berlin Springer 2000 - Lecture Notes in Computer Science (LNCS) v.1878 .

978-3-540-44525-8

Powered by Koha