DaftarIsitemplate

Call Number

005.133 Bow z

Title

Structuring Z specifications: some choices (LNCS-Lecture Notes in Computer Science, 967), Hal. 203-223

Author

Anthony MacDonald and David Carrington;

Publisher

Springer, 1995

Subject

Location