|
题名:
|
The Deductive foundations of computer programming / Zohar Manna, Richard Waldinger , |
|
ISBN:
|
0-201-54886-0 价格： CNY581.83 |
|
语种:
|
eng |
|
载体形态:
|
717 p. 24cm |
|
出版发行:
|
出版地： Reading, Mass. 出版社： Addison-Wesley Pub. Co. 出版日期： 1993 |
|
主题词:
|
Electronic digital computers programming |
|
主题词:
|
Logic Symbolic and mathematical |
|
中图分类法:
|
TP302 版次： 4 |
|
主要责任者:
|
Manna |
|
主要责任者:
|
Waldinger |
|
索书号:
|
1 |