[NT 42591] Language: Francais

[NT 5480] Login

[NT 43990] Languages

[NT 42568] English (1)

[NT 60475] Covers

[NT 60476] Jump To : [NT 60487] Overview | [NT 60480] Titles | [NT 60479] Subjects

Waldinger, Richard

[NT 60487] Overview

[NT 60478] Works:	2 [NT 60520] works in 1 [NT 60521] publications in 1 [NT 60522] languages

[NT 60480] Titles

The deductive foundations of computer programming [NT 59711] by: Manna, Zohar; Waldinger, Richard ([NT 1579] Language materials, printed)

The deductive foundations of computer programming [NT 59711] by: Manna, Zohar; Waldinger, Richard ([NT 1579] Language materials, printed)

[NT 60479] Subjects

Logic,Symbolic and mathematical Electronic digital computers Logic,Symbolic and mathemaatical. 519.7

[NT 48336] Change password

[NT 5480] Login