Waldinger, Richard.
Overview
Works: | 1 works in 0 publications in 0 languages |
---|
Titles
The deductive foundations of computer programming : = a one-volume version of The logical basis for computer programming /
by:
Waldinger, Richard.; Manna, Zohar.; Manna, Zohar.
(Language materials, printed)