Diaz, J. Ed. Ramos, I. Ed.

Formalization of programming concepts Proceedings, Int.Colloquium, Spain, 1981 - Berlin Springer Verlag 1981 - 478 - Lecture notes in computer science ; 00107 .

3540106995


Formalization of Programming Concepts

681 LNCS
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha