DaftarIsitemplate

Call Number

005.133 Bow z

Title

Implementing Z in isabelle (LNCS-Lecture Notes in Computer Science, 967), Hal. 357-373

Author

Ina Kraan and Peter Baumann;

Publisher

Springer, 1995

Subject

Location