Language:
English
Francais
繁體中文
Help
回圖書館
Login
Languages
English
(1)
Covers
Jump To :
Overview
|
Titles
|
Subjects
Waldinger, Richard
Overview
Works:
2 works in 1 publications in 1 languages
Titles
The deductive foundations of computer programming
by: Manna, Zohar; Waldinger, Richard
(Language materials, printed)
The deductive foundations of computer programming
by: Manna, Zohar; Waldinger, Richard
(Language materials, printed)
Subjects
Logic,Symbolic and mathematical
Electronic digital computers
Logic,Symbolic and mathemaatical.
519.7
Processing
...
Change password
Login