The logical basis for computer programming. 1. Deductive reasoning


Zohar Manna
Bok Språk ikke angitt 1985
Utgitt
Reading, Mass. : Addison-Wesley , c1985
Omfang
xii, 618 s.
Emner
ISBN
0201182602

Bibliotek som har denne