DaftarIsitemplate

Call Number

005.16 Bit f

Title

A Logic of object-oriented programs ( Lecture Notes in Computer Science 1214), Hal. 682-696

Author

Martin Abadi and K. Ruston M. Leino;

Publisher

Springer, 1997

Subject

Location