Manna, Zohar.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Time for verificationessays in memory of Amir Pnueli /
by:
Manna, Zohar.; Peled, Doron A.; SpringerLink (Online service)
(書目-電子資源)
Verification: theory and practiceessays delivered to Zohar Manna on the occasion of his 64th birthday /
by:
Dershowitz, Nachum.; Manna, Zohar.; SpringerLink (Online service)
(書目-電子資源)
The deductive foundations of computer programming /
by:
Manna, Zohar.; Waldinger, Richard.
(書目-語言資料,印刷品)