Language: English
Help
回圖書館首頁
手機版館藏查詢
Login
Jump To : Overview | Titles | Subjects

Manna, Zohar.

Overview
Works: 1 works in 0 publications in 0 languages
Titles
Lectures on the logic of computer programming by: Manna, Zohar. (Language materials, printed)
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)
Time for verification = essays in memory of Amir Pnueli / by: Manna, Zohar.; Peled, Doron A.; SpringerLink (Online service) (Language materials, printed)
Verification: theory and practice = essays delivered to Zohar Manna on the occasion of his 64th birthday / by: Dershowitz, Nachum.; Manna, Zohar.; SpringerLink (Online service) (Language materials, printed)
 
 
Change password
Login