Manna, Zohar.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Time for verificationessays in memory of Amir Pnueli /
by:
Manna, Zohar.; Peled, Doron A.; SpringerLink (Online service)
(Electronic resources)
Verification: theory and practiceessays delivered to Zohar Manna on the occasion of his 64th birthday /
by:
Dershowitz, Nachum.; Manna, Zohar.; SpringerLink (Online service)
(Electronic resources)
The deductive foundations of computer programming /
by:
Manna, Zohar.; Waldinger, Richard.
(Language materials, printed)