DaftarIsitemplate

Call Number

004 Lec

Title

Correctness of programs with functional procedures, (LNCS-Lecture Notes in Computer Science 131)Hal. 94-112

Author

J.W. de Bakker;

Publisher

Springer, 1981

Subject

Location