DaftarIsitemplate

Call Number

004 Lec

Title

A Note on equivalences among logics of program,(LNCS-Lecture Notes in Computer Science 999) Hal. 282-299

Author

Albert R. Meyer;

Publisher

Springer, 1981

Subject

Location