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